Note that these work as advertised on Windows 10 at least. I seem to recall those were listed as edit keys in a cmd or terminal window at some time in the past

Note that these work as advertised on Windows 10 at least. I seem to recall those were listed as edit keys in a cmd or terminal window at some time in the past, but not when I just checked.