v0.88.11

Patch Changes

• <Mirror> and <MirrorSource> now share one name prop, Mirror Sources added from the slash menu are named for you, and the Mirror panel suggests documents and source names. Update collaborators first: earlier versions do not read name, though this version still reads anchor and id.
• The properties panel no longer breaks the document view when a text field holds a number or no value, such as Width on <Embed width={300} /> under Advanced; numbers show as text.