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

[gjm]

(just look at Lumifer’s posts)

?