Fixed #59 -- restore boilerplate JS to fix Sphinx quick search.