Write documentation about: - [ ] tool usage (documentation for developers) - [ ] (web-)tool documentation - [ ] research mode (documentation for researchers) - [ ] running experiments - [ ] extending syntest - [ ] tool architecture