Don't Always Expand File Outline After Switching Files GitOrigin-RevId: 639887686082e2868561c3e7300d42a73dd34f5a
Document Outline Spike GitOrigin-RevId: adc315a3546147eb10c7a40ae70f9cab1cbf7b8d