Other Arduino boards are still showing up in the PORTS list even if there’s no Serial.begin() in the code. This is not a major concern for hardware developers moving from other platform to DASH, but I think can be automated (not to call explicitly) in the next firmware as what you did with Dash.begin().
I posted a thread that shows another instance where PORT is not showing up. Hope you can see the problem also exists when using I2C.