Subject: bug#17052: substitute-command-keys strips text properties

From: Eli Zaretskii <[email-masked]>
Date: Fri, 16 Aug 2019 09:47:56 +0300

> From: Lars Ingebrigtsen <[email-masked]>
> Cc: [email-masked],  [email-masked],  [email-masked]
> Date: Thu, 15 Aug 2019 15:42:18 -0700
> 
> > We should document the situation and leave the bug open for the
> > possibility that someone would like to work on this.
> 
> Document the situation by just putting back into the doc string that it
> doesn't copy text properties in some situations?

That's what I meant, yes.  Is there a problem with that which I
missed?