Kate (text editor) – that's what the guys at work prefer as text editor