As I said on https://itch.io/t/455092/linux-version I got it running although with the total equivalent of 3 CPU running at 100% (one fully at 100%), but that may be a graphics card thing.
Otherwise I fail to export GIF, with the following terminal error:
then a popup that doesn’t even have a filename input field nor an OK button to confirm location:
PNG export works fine though, so at least I can export a spritesheet for my game engine.