Could someone please remove the package ogmtools which I've uploaded to AUR a few minutes ago [1] ? I must admit I have only checked the Arch repos with the "whohas" tool (which didn't find the package already present in [extra]...), and not manually. Sorry about that. Thanks in advance. [1] http://aur.archlinux.org/packages.php?ID=2113