I know. I also know not everyone likes installing extensions in their browser because they can be a security risk, and they can even change your browser fingerprint (which makes your browser more trackable), compared to bookmarklets, which do not.