Good tip, thank you. Bookmarklets work as normal(?) on Firefox on Android, and can be invoked via the address bar on Chrome:

https://paul.kinlan.me/use-bookmarklets-on-chrome-on-android...

A random intro to bookmarklets: https://betterprogramming.pub/are-bookmarklets-still-useful-...