[devhelp] (15 commits) Non-fast-forward update to branch ebassi/window-menu

[Emmanuele Bassi <ebassi src gnome org>]

The branch 'ebassi/window-menu' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  81fec79... Drop the "simple" menu
  6d4ab27... Follow the HIG for the main menu

Commits added to the branch:

  1991db1... Open up developement for Devhelp 41 (*)
  e16691c... Handle deprecated API in WebKitGTK >= 2.32 (*)
  80385cf... build: Move post-install script to its own directory (*)
  77525e3... build: Move Flatpak files under build-aux (*)
  45d7bf9... Remove the attic directory (*)
  336afc7... Remove AUTHORS file (*)
  c97080e... Rename "HACKING" file (*)
  26a49a9... Update the contribution guidelines (*)
  fc35245... Add an editorconfig file (*)
  d09782a... build: Split up the summary (*)
  2b8cf2e... Consolidate Flatpak utility scripts (*)
  c8cbe1c... build: Quiet the introspection scanner (*)
  3ab8dbf... tests: Validate the desktop file (*)
  8ad7349... Drop the "simple" menu
  4358d94... Follow the HIG for the main menu

(*) This commit already existed in another branch; no separate mail sent