This is a deviation from the topic, but as it might (or might not, if it's my silly rural internet!) be a related side-effect - anybody noticed an inordinate amount of crashing and errors on GR these past couple of days?