v8.2.3578
d1a8d658 · patch 8.2.3578: manipulating highlighting is complicated ·