I'd like to insert a "Wiki contents
table", similar to the green ones at:
Which is the wiki code to generate it?
The question isn't on-topic for this list; please be mindful of this in
Ivan Krstic <krstic(a)fas.harvard.edu> | GPG: 0x147C722D