help text
We need some help text, with:
- explanations of the LTL and PSL syntaxes,
- explanations of how to read the automata,
- pointers to the HOA and neverclaim formats,
- instructions for reporting bugs.
I suggest to use a drawer to display the help text in a side sheet. I'd leave the help button (that opens the drawer) on the main application.