This reverts commit 54e7d45b.

However instead of reverting to the previous domain, I picked a
different one that I hope will not turn out controversial.