There's no need. Dan Ritter will add definition of comment header to definition section. It's a bad idea because - transition to real headers is harder. They have all been banished. Essentially, no one likes flag days.
Interoperability takes precedence over convenience.
Finally, we discussed named articles. There were no supporters for named articles present. Trying to deal with it will slow WG down further. It is in the scope of the WG, but not the main document. Slides None received.