- Add German (de) to the language picker, with a full translation of the
  interface and a German style guide in docs/translations/de.md. Based on
  translations by @abiyeenzo (#908) (German, @gekh, #1477).