bug#34756: 26.1.92; Minor typos across manuals

[Eli Zaretskii]

> From: "Basil L. Contovounesios" <contovob@tcd.ie>
> Cc: <34756@debbugs.gnu.org>
> Date: Wed, 13 Mar 2019 17:31:02 +0000
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> From: "Basil L. Contovounesios" <contovob@tcd.ie>
> >> Cc: <34756-done@debbugs.gnu.org>
> >> Date: Tue, 05 Mar 2019 20:44:12 +0000
> >> 
> >> if signed commits are frowned upon.
> >
> > They are; see CONTRIBUTE.
> 
> I checked CONTRIBUTE, but I only saw mention of "Signed-off-by:" lines,
> not GPG signing.

Well, you didn't really explain what you meant by "signed commits".

> Is the latter also unwelcome?  I assumed not, given the existence of
> a Project Member GPG Keyring on Savannah.

I don't think this was ever discussed.  Are there any GPG signed
commits in the repository?