Some trickery around User not being a case class anymore.