I suspect their web server logs have just seen a small but noticeable peak in requests for the user guide...