I haven't seen anything about a .txt anywhere, where would I find it?
It's included in the .zip file. If you can't extract it, try re-downloading it
