About this page
This is an ad-hoc list of the pages converted from the old wiki. We still have some reformatting to do, I'd say we can use this as a TODO list (although it is a bit largeish)
My suggestion is that whenever you fix up a page so all the links work and all the formatting is correct, you put another space in front of the * on this page source to turn the big bullet into a small/empty one.