Inbox Lint

As usual, here's a lot of the fluff that hung around inside my inbox after all the trivial news was dealt with:


Indexing in progress, search and cross-references will be enabled soon.