The Swap to ERC-20 tool is offline until January 2020.
Focus has shifted toward the release of Emblem.
Is it definitely coming back online? I still have quite a few Coval left that I'd love to swap instead of losing them.
Yes, it will be back online in 2020.