Confusing wording in the man page

--no-options is documented with:

> Shortcut for --options /dev/null. This option is detected before an attempt to open an option file. Using this option will also prevent the creation of a ‘~/.gnupg’ homedir.

When I read this, the word "shortcut" led me to assume that `--no-options` is equivalent to specifying `--options /dev/null`, and that `--options /dev/null` would also have all the described effects. This is not the case.

(I suggest rewording this without reference to `--options /dev/null`.)

ProblemType: Bug
DistroRelease: Ubuntu 19.10
Package: gnupg 2.2.12-1ubuntu3
ProcVersionSignature: Ubuntu 5.3.0-13.14-generic 5.3.0
Uname: Linux 5.3.0-13-generic x86_64
NonfreeKernelModules: nvidia_modeset nvidia
ApportVersion: 2.20.11-0ubuntu7
Architecture: amd64
CurrentDesktop: i3
Date: Wed Oct 2 15:13:16 2019
InstallationDate: Installed on 2019-05-07 (148 days ago)
InstallationMedia: Ubuntu 18.04.2 LTS "Bionic Beaver" - Release amd64 (20190210)
PackageArchitecture: all
SourcePackage: gnupg2
UpgradeStatus: Upgraded to eoan on 2019-05-08 (147 days ago)