#722: #205: regularizing <man> tags and margin placement

opened by thuchacz