| The diag.py script was used to generate these state machine diagrams. | |
| It may or may not be useful to regenerate new ones. The project is no longer | |
| maintaining these diagrams, so YMMV; but this is left here to facilitate | |
| anyone who wants to resurrect this effort in the future. |