[Solved] Options for conversion of ERC-20 AE tokens?

Looking for some assistance here – I still have ERC-20 AE tokens with access through my personal Trezor. Is there a current process for converting my ERC-20 tokens to the mainnet AE tokens? If not right now, will there be a new process explained soon? And is there any exchange still trading the ERC-20 AE tokens?

The migration process for those who failed to or didn’t bother to migrate their tokens in time (or managed to migrate them directly to the token contract) is described here