Inclusion of search.{js,css} is redundant with course_navigation.html.