Extended progress.rst with non-RFC extension 'OpenPGP HTTP Keyserver Protocol (HKP)'