I’ve uploaded new pages with new (working!) Google site search in the footer of each page. Content is the same but uses the new Google search code. Sorry about the ads in the results - I can’t avoid that inclusion as it’s done at the server end.
Incidentally, does anyone use the (Google) Translate widget I put in each page. I’ve no idea how good the translation is. Given the amount of technical (And Tinderbox) terminology I suspect it may not always help. I’d be interested to hear.
If you want to get the source TBX to use locally or export for local HTML use see http://www.acrobatfaq.com/atbref7/index/AboutaTbRef/ObtainingtheaTbRefsource.html