Your arguments seem persuasive. If nobody comes up with a strong objection in a few days, please install your patch. But please also add a comment explaining briefly what the remaining problem is.
_______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel