dumb -- Doxygen can't handle '.md' extension in link, doing it by hand
doxygen: drop 90's era header/footer and add search