chiark / gitweb /
util-lib: add a comment explaining the user name rules we enforce