chiark / gitweb /
floating-phases: minor docs tweak