v8.2.3536
ad6b90c3 · patch 8.2.3536: the do_highlight() function is way too long ·