Welcome @wstephenson!
Regarding Linux, if you haven’t seen it already, you might like to read the following discussion about making it easier to bring Sonic Pi to Linux:
Creating a snap package for Sonic 3.0
(Though that’s by no means the only way to contribute if you feel so led 
)
Anyway, great to meet you, even if it’s just virtually