Re: [pacman-dev] Interesting side-effect of IgnorePkg