> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Sat, 18 Apr 2015 08:26:21 +0000
> Cc: 20346@debbugs.gnu.org
>
> From my experience the documentation is correct, and it's the customization
> option list that's incomplete. I can send a patch if you like.
Please do, and thanks!