Re: About the DEL trick

[Gavin Smith]

On Mon, Aug 26, 2019 at 3:52 PM Didier Verna <address@hidden> wrote:
> 3. Finally, I did a quick test of this feature (test file attached), and
> it seems to work fine with Texinfo 6.6, except for menus. The weird node
> is not clickable in the menu.

Thanks for testing this and sending the test file. I believe I've
fixed the issue in commit 14d7ee29f.

FWIW a while ago I suggested removing this feature (at the end of
https://lists.gnu.org/archive/html/bug-gnu-emacs/2019-01/msg00235.html).
But there has been no changes since then and there would be no rush to
remove it, especially if you find it useful.