David would like an emacs key stroke like f11 (in a source file) except it strips the ";" before executing the line
