Looks like the DNS entry for idea-tank.borud.no had somehow disappeared. Have fixed it, but it is going to take a bit for the change to propagate. Sorry about

Looks like the DNS entry for idea-tank.borud.no had somehow disappeared. Have fixed it, but it is going to take a bit for the change to propagate. Sorry about that.