After killing the first dragon and becoming Thane of Whiterun, the Jarl suggested I visit the Greybeards to learn more about the "power of the voice".
I could see High Hrothgar was on a nearby mountain top on the map. And there were enough hints with the "seven thousand steps" to make the connection with the high peak where High Hrothgar is located.
However I could not find a path to the top. Eventually I noticed the quest marker pointing to Ivarstead. A friend told me this is where I should go.
How was I supposed to learn about Ivarstead, and what am I even doing there? I can't find any quests in my log that refers to it. I do not remember anyone at Dragonsreach mentioning it either.
PS: Also what added to my confusion is this: as I fooled around with a new character, upon returning the Dragon Stone, I saw for the first time Delphine at Dragonsreach discussing with Farengar. There was also a book on the table listing various settlements, possibly giving me useful information about areas on the map. On my original character, I never saw Delphine there, and this book is not there on Farengar's table either. Is this a bug?