Thanks for your help but this is too complicated for me.
Export private key, import it into Electrum, click "Tools > Load transaction", sign it, broadcast it.
Or just convince Bitcoin Core to drop this transaction. Maybe upgrade to the latest version first, I don't know if that would help.