New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/35260#discussion_r794236428

Comment:
Should these maybe be pushed onto a `-devel` package?

Do you think the split is worth it, in this case?