Apparently there are multiple fixes, some of which are said to be simpler. See h...

		StephanTLavavej on April 17, 2020 \| parent \| context \| favorite \| on: Fix Boyer-Moore searcher with the Rytter correctio... Apparently there are multiple fixes, some of which are said to be simpler. See https://github.com/microsoft/STL/issues/727 and the cited comments within, which quote Knuth. (I'm learning a lot by having this PR appear on HN!)