We need it to implement something like this:
In GTK 3 we can't make the spinner larger, but in GTK 4 yes, and we likely should do so.