New comment by Vaelatern on void-packages repository https://github.com/void-linux/void-packages/pull/14801#issuecomment-536248039 Comment: Next probably also either `update-grub` or killing that terrible Debian compat script completely. Or we can keep it because it's not doing harm.