Matters arising during the release process

These are things I came across and dealt with right away, rather than merely filing tickets.

Closes #1390 (closed)