Re: [Pki-devel] [PATCH] ipa-pki-theme, old unused UI directories, pki-selinux, and pki-migrate removal