: The editor received a major UI overhaul, including new toolbars and improved cursor positioning [1, 4].