This is github's web IDE (e.g. if you hit `.` on a repo to edit it). Codespaces are borked too.