*ahem* no... I did it by hand. Do you want them there? They could also be moved to the bottom (which might be good to have a duplicate of them)...

Nah. I want to avoid redundancy to avoid confusion. Let's just keep them in the sidebar (this will also allow documentation to be very clear about where to find things; better to have them only in one place). I think they're quite visible, and I want that interior sidebar to be the place where interaction takes place.

kay. They should be gone again...

Thanks!