I have tried to include some local Javascript (in the same folder as the GM script) and in both cases, the script fails to load and the scripts seems to stop working until I restart the browser even if the line with the @require is removed.
I tried both
// @require file://script.js
then
// @require file:///full/path/to/script.js
and both options don't work.
Is loading local Javascript banned in Greasemonkey or does it require some extra settings to enable it?