BBEdit

Here’s some users with BBEdit in their profile.