[#2864] Small tweaks thanks to @xabbuh on new Regex:htmlPattern option docs