Modify patch: Proper handling for custom_extension_repository

[carlopi]

Thanks @Y-- for reporting this.

Error was:

SET custom_extension_repository = 'https://something.else';
LOAD x;

would still load from default URL.