A tale of two file editors

What this post added

This post details research into user preferences for the single-file editor versus the Web IDE, revealing distinct use cases for each. It proposes consolidating the 'Edit' and 'Web IDE' buttons into a dropdown menu to allow users to choose their preferred editor, carrying over changes between them. Mockups for this proposed UI change are provided.