Document MuxNonMod4Resolution