We don't have "section" comments like this elsewhere, so I wouldn't start adding them.