sping@gentoo.org Sebastian Pipping Install non-free themes as well hartwork/xiangqi-setup