New comment by lugubris on void-packages repository https://github.com/void-linux/void-packages/pull/14247#issuecomment-530487673 Comment: Piotr @ 2019-09-11 17:29 UTC: > Usually we do not accept packages that can be put into $HOME, is this any > different? I don't see any problem with themes being in repo, it will be better than putting them every users $HOME (popular theme). There is also "deepin-gtk-theme" & "paper-gtk-theme" in the repo. -- Lugubris