[pacman-dev] [PATCH] Allow comments after repo section header in pacman.conf