[A-5511] Using Text Editors in Linux

Although the desktop provides a beautiful graphical interface that’s a pleasure to work in, much goes on outside that interface.