I subscribed to this merge request as a result of one of Sam’s “merge requests in need of attention” last year: https://gitlab.gnome.org/GNOME/yelp/-/merge_requests/29
It implements searching for manpages in Yelp. I would find this feature useful, personally! I reviewed it last year and it looks reasonable, but I’m not a maintainer of Yelp. Is there a maintainer around who could merge this?