The pseudo-object `user` is now provided in source code