> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Fri, 02 Feb 2018 19:43:41 +0000
> Cc: "Basil L. Contovounesios" <contovob@tcd.ie>, 30297@debbugs.gnu.org
>
>  > Attached is a doc fix suggestion.
>
>  Philipp, any comments?
>
> LGTM.

Thanks, then could you please push it to master, in Basil's name (he
has a copyright assignment on file, in case you wondered).