Hey guys, sorry for my late response here. We are aware of the issue, it appears limited to MKR1000 devices (although maybe it exists for other boards which aren’t explicitly appearing in the UI as well, the MKR1000 is the only we’ve found thus far).
It’s on our hotlist of bugs to fix so should hopefully be resolved shortly, and I’ll update this thread at that time. In the meantime, glad that you were able to find a workaround until we get it sorted out.