Hey again – found the other thread, which advised to install the latest version of Tampermonkey. That fixed it!