Whoops.
Too much progress for any meaningful comments. Lots of polishing,
external linking is working, web pages look better, module index,
and so on...