Housekeeping, bugfixes, documentation updates. It would have been clever of me to do separate commits.