chiark / gitweb /
Convert to defvalopt: --distro, -d