[PATCH 1/1] build: Make doxygen output slightly less verbose.