Huh. Today I learned about #:~:text=blablabla highlighting in URLs, which seems to be supported by most of the major browsers.