Oh! I got a shoutout on Mastodon.
With all of the bits and bobs in flux, it's all good. I'm already noted on the Mastodon instance and on the blog, and for other projects, so it's all good.
We're probably due for a monthly update in late July, when things quiet down and things get sorted. So, I think a shoutout makes the most sense then (or maybe later).
Good edit. Thing is, I think there's some compression going on in the backend, so even with an .SVG file, it might be somewhat complicated.
I'm going to probably make a quick GitHub page for the editing files with an .SVG, so the mod team, admin team and community managers can access all the files and edit them to spec.
But you're right: the pixelation on the edges is causing my artist OCD to flare up. Good suggestion, Margot!