Subject: Re: bug#63722: 29.0.91; (elisp) Skip to end #@00 does not work

From: Mattias Engdegård <[email-masked]>
Date: Fri, 26 May 2023 13:55:14 +0200

26 maj 2023 kl. 12.36 skrev Eli Zaretskii <[email-masked]>:

>> Everything right. But it is used meanwhile in the wild ... perhaps we
>> should document then, that this usage is deprecated?
> 
> I see no reason to deprecate it, let alone remove it, FWIW.

I prefer neither documenting nor deprecating it now.
If someone asks me on the record, I will neither confirm nor deny its existence.