mmnf.raw.html: Github --> GitHub, Frankel --> Fraenkel; fix HTML characters &iacute; and &oacute;
mmnf.raw.html: Github --> GitHub, Frankel --> Fraenkel; fix HTML characters &iacute; and &oacute;

metamath/set.mm,metamath/set.mm,metamath/set.mm