chiark / gitweb /
filamentspool: Improve doc comment