[pacman-dev] [PATCH] pacman.conf (manual) changes