TagFilesManager now saves files with txt extension; added methods to load all tags names