GitLab

* doc/misc/ede.texi (Android projects):
* doc/misc/eieio.texi (Class Options, Making New Objects)
  (Method Invocation, CLOS compatibility):
* doc/misc/sem-user.texi (Tag Decoration Mode): Fix typos.

* doc/misc/gnus.texi:
* doc/misc/semantic.texi: Fix whitespace.