gcry provider doc: fix some of its nits