cosmetics; allow filter on course_number in teachinglist
Merge commit 'github/testing' into beta