@Codeberg More broadly, I see "not trying to be an IDE"/not trying to be "VS code web edition" as a huge competitive advantage. GitHub completely broke their UI for actual use (reading code, studying history, researching bugs) by making it into an awful klunky editor that's completely unusable on mobile.