I agree on the fact that we need a place do discuss Sonic-pi on Linux topics.
I have quite an impressive number of kids in my workshops that have linux laptops, often recycled eepc.
And they try to read english forums but not easily Github issues.
Github is the place where concrete very technical and specific to sonic pi discussions must be, but we have to struggle with jakd, supercollider and this forum is the place where we can exchange solutions and tips.