Add search box and add tooltips for various elements.
[Fixes #72818112] update version numbers and links in devdocs
implement search, strike-through "group by teams" button when it is disabled
Merge branch 'master' into FeedbackSessions
[Fixes#72756436]instructor can search in feedback results