Fix mixed content in example

GitHub pages is available via HTTPS.