Thanks for the quick reply! Downgrading/switching to beta seems a bit inconvenient, but I'll see what I can do
The workaround is to move the contents of each offending extension script into a regular one (and call it from the extension script), which is an inconvenience of its own.
