Why not try using DuckDuckGo for the site search?

It has a site parameter, and protects your privacy more than Google or Bing. They also don't seem to mind it being used for site searches:
https://duckduckgo.com/search_box.html

duck duck go is the best =D
they use google, as well as a bunch of other search engines, to generate their results.

also, although it wouldn't be useful here, if you have it as your default search engine it's really handy because they have special commands for hundreds of sites. if you want to search for something on youtube and ddg is the default search engine in your search bar, all you have to do is type !yt and then what to look for and it automatically takes you to youtube and uses the search function there. !gi is google images, !w is wikipedia, !imdb is imdb () and so on. here's the complete list: https://duckduckgo.com/bang.html

EDIT: it's also pretty customisable, too. if we used the banner version, it would blend in pretty well.
also, here's an example page that shows how well it works searching omni.

Yay!

Question, though: Will the server now be permanently set on GMT+1? Because it used to be GMT-5 and since April 14th or so, all new posts have been offset by 6 hours compared to the old ones (kinda like on barrett server one day)

My concern was more that new posts are out of sync with the rest. In fact I'm not even sure if the old posts from the old boards are in sync with the positive ones. If the server was changed to GMT+1, maybe it would be best to edit old post timestamps to be in sync?

Also since both Cemetech and Omnimaga are pretty much the only really active TI forums anymore and they are both very active, people jumping from one site to the other might get confused more with both sites running different time zones.

You can change the time offset directly on the board, but that would cause all old posts to be even more off. Otherwise for the current setting members can just change their own personal settings.