bugfix: antlr.org html contains href to .txt.gz, but downloading .txt.gz gives 404 --> redone to try plain .txt if such situation happens