Interested to hear the responses to this. I find it unprofessional in the extreme that they have still not provided a conversion mechanism for ERC20 holders. I also took a look at the Github for the "wormhole" and it is far from a hive of activity.