Doc tweaks
More HTTPS!