It’s easy enough to fork the code as it existed under GPL3. Violentmonkey did that when they forked from Tampermonkey.

This dev also doesn’t sound like he wants to put much effort into enforcing his license in the first place.