tree a136b29d7059f162419bd5ba50e11689cdeb6c34
parent d4f94a3e9642de43ccb49907f96bbd24542cd421
author Davide Pesavento <davidepesa@gmail.com> 1669505281 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1669518484 -0500

Homogenize markup used for section headings

Plus other minor cleanups

Change-Id: I356642e8d4c379ffb1b70789cba24497a7f8f393