Note that Sonic Pi is also available on other Linux distributions (Debian and Manjaro have it, didn't check others), presumably built and packaged by the commun

Note that Sonic Pi is also available on other Linux distributions (Debian and Manjaro have it, didn't check others), presumably built and packaged by the community since it appears from the homepage they support only the ports linked from there. This is important especially now that used mini-pcs are so easily available and cost a fraction of a mostly unobtanium Raspberry PI.