Devhelp maintainer needed

Hi all,

I've decided to let go of Devhelp so if someone wants to pick it up, 
feel free to do so. It should be fairly quick and easy, it's a small and 
simple code base.

The current status is that trunk is in good shape code-wise (much better 
than the old 2.22 branch used for the upcoming GNOME version), so as 
soon as WebKit becomes an allowed dependency, I recommend switching over 
to trunk.

Good luck,
Richard