I need some opinions on adding Yelp as an optional dependency. Yelp is needed for the help pages to be displayed, but it requires webkitgtk3, among other things. So the question is to add this support by default on, or off, as webkitgtk is quite a long build. Opinions? David