After 3a223f1e, it's no longer necessary to put the users into a vector. We can directly iterate them instead.