fix README.TXT#177

wlammen wants to merge 3 commits intometamath:mastermetamath/metamath-exe:masterfrom

wlammen:masterwlammen/metamath-exe:masterCopy head branch name to clipboard