chiark / gitweb /
get-rfc: ensure that $HOME/misc/rfc exists