Re: [pacman-dev] [PATCH] skip unknown repo names for pacman -Sl