Release v0.37.3

• Mirror - picking a source now adopts its size and frame look, and a mirrored group hugs its children exactly like the original, so the mirror matches the source 1:1 from the start
• Mirror - the editor now marks a mirror widget with a badge showing which widget it reflects