Not yet. I was trying to get something done quickly (deploying a nearly done account customization project) in the next hour, and maybe deal with that issue later. But I do plan to reach out to support eventually. But looks like I am out of luck with both IDE's now.