OK, but while we’re deciding whether to do (3) or not, we also have to pick either (1) or (2). I get that you like (3), maybe it’s the right decision, idk, but there’s obviously no consensus yet, and if you look around you’ll notice it isn’t actually happening (e.g. I haven’t seen anyone telling Guido that he’s doing it wrong).
So in the mean time, while that’s getting sorted out: do you prefer (1) or (2)?