small doxygen doc fix, re #10335
Merge branch 'feature/10335_recent_files_in_main_app_menu' into develop