New review comment by jcgruenhage on void-packages repository https://github.com/void-linux/void-packages/pull/38764#discussion_r950657504 Comment: We could, but I don't see where that would be better. Maintaining this additional small package is probably less effort than regularly having to rebase a patch, and if others want to use this package it's now available, both for other void packages and for users directly.