Adjust a few niggles that affected the HTML conversion (a couple of
"^"s were being dropped in the context of [^...]).
1 file changed