chiark / gitweb /
get-rfc: Always download to $HOME/misc/rfc rather than the current