Lex
Lex
Has this been solved? Thanks!
No worries! I'll see if I can get it working. Thanks!
This also worked for me, thank you!
@impredicative At the moment we are still working on securing a server. However, a GitHub pages is a good idea. I will see what we can do.