You're right, icedearth, it has started to work. It wasn't working yesterday, 29/1 was the first call I had logged. I emailed BBC and RM, who have our upstream proxy and filtering, last week without any joy. Someone has done something. I'll wait an hour or two before I tell any users in case that someone undoes something.