@zkat__ ("kat marchán") wrote:
Good devtools change their users' behavior for the better, rather than trying to adapt to every single corner-case whim of users. Fewer options is good for the people who want those options, too!
Constantly building escape hatches is a dangerous, inelegant precedent to set.