We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
L10n/i18n updates. Superfluous whitespace removed. Add FIXME for a few i18n issues I couldn't solve this quickly. Takes care of documentation for all core code added in merge of "people tags" feature (Commit:e75c9988).
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org