Fixes #30: Docs should present HTTPS as default.