A stray mention in #emacs led me to
http://www.math.washington.edu/~palmieri/Emacs/ , which has Emacs Lisp
code for lightning completion and highlight completion. Both are
pretty interesting, and I wonder how I can put them to good use.
Hmmm…