This should - help with code sharing with the other x-arrow commands - unblock supporting the optional argument `\xrightarrow` actually already has a custom token in the form of `Token::StretchyRel(Rel)`.