Was there a point to storing `user_pk` rather than `user`?