chiark / gitweb /
rights now apply to commands; docs catch up a bit