[xethos]

I mean, regardless of the language, it's a PR to add visual, not functional, changes to a loading bar. I'd definitely call that customization; moreover, I'd call that exactly the kind of customization Gnome doesn't usually allow.

> this sort of rhetoric is completely typical for Jordan Petridis (@alatiera)

That's too bad. Gnome was the best (or at least my preferred) "DE" for my Pinephone, and Linux Mobile in general. Having to work in the vicinity of this kind of argument sounds demoralizing at best.