In Internet Explorer 11 I can easily edit a local html document by using
[alt]P (for Page),
d (for Edit with Notepad).
I use this every day. Something similar would be very helpful.
(I use Firefox 98.0 on a Windows 10 laptop.)
never-displayed