[devhelp] (6 commits) Non-fast-forward update to branch ebassi/gidocgen

[Emmanuele Bassi <ebassi src gnome org>]

The branch 'ebassi/gidocgen' 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:

  18a07f0... Add top-level 'doc' directory under data directories
  46c1251... Set the User-Agent
  b6e43ba... Inject custom style sheet into the WebView

Commits added to the branch:

  057bdee... Display find-next/-prev shortcuts in the help overlay (*)
  c0bf572... Add profile for development builds (*)
  272dcf2... ci: Always build the development profile (*)
  54639d9... Add top-level 'doc' directory under data directories
  a75631e... Set the User-Agent
  a81e891... Inject custom style sheet into the WebView

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