(De)serializer for User_message.t which ignores the annots field. The annots field is non-trivial to serialize and is not necessary for formatting messages, so it's not handled here.