Current status: replacing prog2, an emacs lisp special form, with a macro: https://gitlab.com/wilfred/emacs/commit/91967f11ed8a69ea29215e8219cafaef5f550fe2 Unsure if there's interest upstream.