jjames pushed to metamath (f26). "New upstream version (bz 1497491)."