chiark / gitweb /
safely, optparse: Rename packages.