chiark / gitweb /
doxygen: add some missing docstrings.