avoid some issues with (a) dune-testtools and (b) doi in markdown files. Needs fixing later