Hi Dave, thank you for your help!
The developer tool has the issue that it is "drill down", i.e. there are layers underneath.
I found the part with the js where the website (which I anonymized WITH ALL CAPS is given, but just isolating that part doesn't do the trick.
Here is that part, hope it tells you something more than me. ;)
(The 1st pic is the screenshot from the developer area, the second one the "drill down" of the marked part.