[devhelp] (3 commits) Non-fast-forward update to branch ebassi/devel-profile

[Emmanuele Bassi <ebassi src gnome org>]

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

  11d9e1a... Add profile for development builds
  f8fdd50... ci: Always build the development profile

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

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