chiark / gitweb /
sealing-box: Add a doc comment (currently rather more hope than reality)