Installing issues on Ubutun 22.04

[PatrickMassot]

Thanks for providing this software.!

I tried to follow the installation instructions on Ubuntu 22.04. First the opam ppa doesn't work (at least not with Ubuntu 22.04). So I went with the default opam from Ubuntu which doesn't seem too ancient (2.1.2 from one year ago). I think that installing stuff with opam worked fine. Compiling coq-waterproof seemed to work (it's a bit hard to tell because there are lots of messages such as "Warning: The statement you provided does not exactly correspond to what you need to show. This can make your proof less readable. Waterproof will try to rewrite the goal..." while running make in that repository).

But I had no luck at all with the editor. The AppImage tells me:

[1093184:1222/172326.769059:FATAL:gpu_data_manager_impl_private.cc(445)] GPU process isn't usable. Goodbye.

followed by a core dump.

Trying to run npm install fails badly. gyp seems to complain I don't have python2. Do you actually rely on people having python2? I would really like to try this software but I'm not sure I can bring myself to install python2 in 2022.