Doxygen: removing one last file to complete move to Documentation submodule