USB hot-plug doesn't work on Arduino MKRZero?

Lagoni's issue report on this topic: