Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog] - View it on GitHub