Re: [arch-dev-public] Updating webkitgtk2 to 2.2.5 (or later)