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.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information