chiark / gitweb /
move url stuff to commands.py