New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/24538#discussion_r479718721

Comment:
It might make sense to name this sub package `feedback-devel` instead, but I'm not sure.