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