Tasks to do: - [ ] Draw all state machine diagrams on each SMDiagram's page - [ ] Make choosable which diagram show animation - [ ] Make option for all diagram show animation at the same time