chiark / gitweb /
man: fix formatting of uuids