chiark / gitweb /
man: minor corrections on how the overall system states are actually defined