Fix the 'Find comments' menu
Merge branch 'master' of github.com:davosmith/moodle-assignfeedback_pdf into MOODLE_23_STABLE