This is what I'm thinking too. I can't find it. I don't want to use a software token...
Re-reading this link, it appears to be for the software token only. So those of us with the hardware token are out of luck? I seem to remember (if you don't lose it) that the serial number of the token is important to have. This is the type of stuff I'd like to put in a list and upload to my google drive.
For instance:
-Character Name
-Login Name
-Current password
-Token Serial
-Birthday?
-Address? Other personal details?
-Email account?
While optimistic, it doesn't help the person who will eventually be in the situation where their token stops working - for whatever reason.
Maybe I should do a support chat with SE and ask them this question.