Subject: bug#8951: [External] : Re: bug#8951: 24.0.50; [PATCH] enhancement request: buttonize key names

From: Stefan Kangas <[email-masked]>
Date: Sun, 24 Oct 2021 15:24:49 -0700

Drew Adams <[email-masked]> writes:

> `substitute-command-keys' is a general function; it's not
> used only for *Help* output.  Why not give it an optional
> arg to do this font/linkifying?

I prefer not to, unless we have a use-case for it.  YAGNI.