An Introduction to the EMACS Editor