How does Sphinx man page builder determine man page section numbers?