@cgimmer @fakebaldur That's just a Chrome extension:

https://chrome.google.com/webstore/detail/super-simple-highlighter/hhlhjgianpocpoppaiihmlpgcoehlhio