[arch-dev-public] agetpkg in [extra]

Sébastien, is there any reason why agetpkg landed directly in [extra]? Your mirror isn't hosted as an official Arch project so far, despite our previous discussions on IRC. I don't mind its presence in [community], but [extra] is definitely too much for now. Bartłomiej