Same as <<issue 160>>
I think that copy of Message spec looks redundant.
It is duplicating messages.
The perhaps larger problem is that we are not documenting the id_token itself, only the response from the check_id endpoint
Duplication is minimal, this will get addressed in the document refactoring after the implementers draft.