/* A stale page will be refreshed by its recovery script. */