Diffusion GnuPG 6c000d4b78b8

doc: Mark keyserver-options timeout and http-proxy as obsolete.

Authored by werner on Jan 8 2019, 11:21 AM.