Minor fixes to the thymeleaf merge and explanatory texts.

This pull request removes the now-unneeded `search.jsp` file and replaces a couple of references to JSP from texts at `intro.html` with equivalent references to Thymeleaf.