Make PKGBUILD aware of user themes
Update manpages for new theming setup