chiark / gitweb /
rationalize terminology and symbol names a bit