Hi folks,
Thanks for this great and useful tool. I did notice a bug however in mandoc when using HTML output. It seems to insert <br> tags inside <pre> sections, which causes there to be double newlines since <pre> already preserves newlines. You can see it in this example
which has many code samples in it: