I don't believe that the new Dolphin highlight is an improvement

[rokejulianlockhart]

@MyUserNameIsUserName, thanks! Perhaps, we should file an issue about this?