We don't need this option, it's in BBEdit already