v0.86.3

Patch Changes

• Refresh the outline when returning to a document that changed while another document was selected, or when reopening the outline after its document changed.