Shuo, you're quite right and I was confused. We do indeed need to say hkp rather than http in the instructions.
Shuo, you're quite right and I was confused. We do indeed need to say hkp rather than http in the instructions.