// Document  is up-to-date. No redirection needed.