@RyunoKi Yep. And they’re tiny/independent.
PS. I’m not using it myself any longer (I’m on Fedora Silverblue as I’m looking at systems that can be upgraded automatically almost ad infinitum – well, to the lifetime of the hardware, at least. And also, the plain GNOME experience on Fedora is quite something too.) But yes, please support them if you can. They’re doing important work and we need independent alternatives.