Correct minor errors in service-manual/domain-names/https.md