feature-level "then": emacs support