⁵At least, decent text editors