For those who check the comments first and wonder why QED is important: - QED is the ancestor of Unix ed, and thus of vi. - Ken Thompson's version of QED was

For those who check the comments first and wonder why QED is important: - QED is the ancestor of Unix ed, and thus of vi. - Ken Thompson's version of QED was the first use of regular expressions in a text editor.