New comment by xelxebar on void-packages repository https://github.com/void-linux/void-packages/pull/14758#issuecomment-536912758 Comment: Regarding stuff in `/usr/share/j`, it seems that this is a directory that the J binary effectively manages. The `jpkg` verb lets users update, install and remove files from there. As such, I guess we should mark the package-provided files in that directory as mutable. Is there a different, preferred way of handling this kind of thing?