Adjust broken pattern greedness for ampersands into htmlEnc(). Fixes #283