ChrisHallquist comments on What is the Main/​Discussion distinction, and what should it be?

[ChrisHallquist]

I think this proposal deserves serious consideration.

I would be surprised if it were adopted, but it deserves serious consideration.