Yes. Furthermore, the price discrimination is the fact proven in Bitcoin Core source code.
I agree and wonder if there might be other solutions.
I agree and think that the fact that Bitcoin Core prices witness bytes more cheaply is not optimal (to put it mildly).
Can I ask you to point to any (scientific) evidence, please?