Editing Tips for Developers: Less Noise, Better Docs