chiark / gitweb /
man: a couple of additions to file-hierarchy(7)