Miro does an amazing job to change font sizes when multiple elements are selected and scaled. However, while the font size for changes changes, the font size for labels of connectors stays the same. See here:

It be great if the font size of connector labels would change accordingly.