If you asked to me I guess I don’t have. And also don’t know how to use extensions in mobile browsers. 🤔
Discussion
yeah, this works well on desktop, but a highlighting experience on mobile is gonna kinda suck; probably worth doing it as a native app on mobile