pre-merge commit
merge commit between Isabelle, Pat, and Mike
adding some changes to search
pre-merge commit
merge conflict resolved between mike and miguel
minor changes made to search_page and updated requirements.txt
added slide title