chiark / gitweb /
man: define more precisely the format of /etc/os-release