As per Mike’s WGLC message, I noticed that:
contains the text:
NOTE: An open issue for the specification is whether to define an additional optional parameter in the logout token, probably as a value in the event-specific parameters JSON object, that explicitly signals that
offline_accessrefresh tokens are also to be revoked.
I presume that text should be altered/removed before going to final.