fixup! explicitly ask for section numbering
(wip) misc fixups -- this commit will be amended