chiark / gitweb /
New state diagrams for new startup/drop arrangements