Issue #43: Use https for the extension repository URLs
Done