I think that's a bit too much detail for a style guide right? I think it's out of scope to explain to people how to use their editors?