Yes, but it's only in the AUR, so I didn't count it as "properly packaged", in the same way that I wouldn't count something as "packaged by Ubuntu" if it were a

Yes, but it's only in the AUR, so I didn't count it as "properly packaged", in the same way that I wouldn't count something as "packaged by Ubuntu" if it were available in someone's PPA. It's a fair point, but I think that my assessment still holds.