You should be automatically redirected to a specific snapshot of the Isabelle repository.