chiark / gitweb /
man: add table of manager states