Skip to content

Revert highlighting fix #3275

Revert highlighting fix

Revert highlighting fix #3275