where does the navigation links on the sidebar come from?

[Peter Lin]

I've spent the afternoon trying to figure out where the list of links
for the navigation side bar comes from.

Anyone care to give a hint, I feel clueless.

peter