Drop old Users class

It has been made obsolete in #603