Regression testing: Doxygen

Based on #851 I built a regression test. It took me way too long to trace the reproducibility issues down to 0c8efb6, but well......