Mostly edit Wikipedia, but I found the occasion to convert a book into the (hopefully) nicer format here.
