Editing Tips for Developers: Cut the Noise from Technical Writing