22 Nov
2022
22 Nov
'22
11:43 a.m.
That's a fair point. I'd be inclined to say "what's one more big-ish change anyway :D" but yeah, it's up to you.
Nope :D I'm only raising the point; an actual decision would be entirely up to the various maintainers.