Domain change

Well, how could I resist?

At some point the old domain will get redirected to here and will disappear, so if you find yourself unexpectedly in this domain please update your bookmarks.

Also took the opportunity to update the look of the site, and add a couple of features like site-wide search.