I'm setting up a Raspberry Pi 400 as la low distraction coding machine. I've got the Pi version up and running no problem. I purchased the pro version, but there doesn't seem to be a package of that version for the Pi. what's the best way to get the pro version running on the Pi? Build it from source? Also, is there an easy way to donate to the project?

Thanks!

I was over on github and found the answer to the rpi pro version. 

tl;dr, there will be a package for the next release.

https://github.com/nesbox/TIC-80/discussions/1729

I'd still like to know about donating, I only paid $6 for my copy and I'd like to step it up a bit. :-D