On Mon, Jan 28, 2019 at 10:57:56PM +0100, Marco d'Itri wrote: > (We should have a goal of not shipping ANY file in /var/, full stop.) Agreed, but that (and /etc) are much, much larger propositions, while /var/cache is already done at this point.