Using .txt so it gets a better mimetype from github pages.