Re: [pacman-dev] [PATCH 03/12] Allow frontends to specify the sync database extension