I develop a userscript to be used by a few people in my company. I advised them to install Tampermonkey. Someone complains that the script is not working for her: indeed, she has Tampermonkey installed, the userscript installed and active, and while the very same userscript was running fine on the very same URL for all people I talked so far, it is not triggered for that person (when clicking on the Tampermonkey icon, it says that Tampermonkey is active, but "no script is running").
I have no idea how to debug such a problem and whether this should be considered as a bug I should report to the Tampermonkey developing team: it is as if the URL were not matching the @include instruction (but it is matching for all other people that tried so far). Moreover, the script is triggered correctly for that person on some other URL where it should be triggered (so it is not like, for that person, the script is not working at all).
The URL is of the form https://blabla.fr:4453/blabla/bla.jsp?blabla and the userscript mentions @include https://blabla.fr:4453/*
Any suggestion on what to try to understand what is causing this behavior? Might it be related to the browser she uses?