users.txt: order package names lexicographically.