Paolo, do you think it'd make sense to change the kernel headers package to also provide linux-headers?
Paolo, do you think it'd make sense to change the kernel headers package to also provide linux-headers?