Thanks for pointing out this error!
The first example is the correct explanation- DIVX tokens will be returned to those who exchange them for DIVI tokens after 60 days.
Actually, based on community consensus we have chosen to burn them - a lot of early adopters have requested this outcome for the DIVX if we can't find a suitable use case for them. I will make sure the whitepaper gets updated to reflect this. This is a rather recent development and I assume that's why DiviDude was unaware.
Thanks for answering my question. I like the idea of burning tokens after exchange, it is definitely better than trying to find a good use case for tokens that are basically useless after and no longer connected to Divi network.