On Sun, Feb 15, 2015 at 10:22 AM, Simon Linden <xhi2018 at googlemail.com> wrote: > If not - can somebody update "man 5 pacman.conf" - or would it be better to > fill a bug? Neither. Some things are done quite on purpose... -Dan