Subject: RE: [External] : bug#56609: [PATCH] Derive `Info-mode' from `special-mode'

From: Drew Adams <[email-masked]>
Date: Sun, 17 Jul 2022 14:30:54 +0000

> Did you test this with Info-edit-mode?
> 
> (It's in obsolete/, but I still use it daily.)

+1.

(I don't use it daily.  But IMO it should not be
deprecated.  There's nothing wrong with letting
users edit Info nodes directly.

And if you want to prevent them from doing so
accidentally then either ask for confirmation
(once only) or (put 'Info-edit 'disabled "...").