Sorry that this issue is not really specific to this extension, but this is just the first time I am trying to use an extension: Can this extension be used using a ```SQL INSTALL extensionname FROM 'URL' ``` statement in duckdb for some choice of URL? If there is no public URL for this yet, which files would I have to make available on a server to enable this?