Add a time extension.
Serialize users.
Fixed problem in shared examples.
Make users a public commodity.