web1, which was always the fastest for me here in the UK (ever since I discovered the different server names that I could use), has been running very quickly indeed since the tune up overnight.

Many thanks!