GitLab

Fix regressions from latest reftex update

In the latest update to reftex from upstream, some changes in Emacs CVS
(mostly maintenance stuff -- typos, whitespace, etc) were apparently lost.
This changeset re-applies them.