clarified documentation: $ISABELLE_HOME is not a repository for regular releases;