ebacc39658
This reverts commit 3b55193837 because the
patch was included in highlight 4.20.
This reverts commit 3b55193837 because the
patch was included in highlight 4.20.