Its users can continue using AUR if they like.