recorder: 1.2.0 - The key is also serialized as JSON (new type `User`)