It's been a lot of years, but as I recall, the raw I/O devices had one set of names, and the logical devices had another. So things like STAT PUN:=PTP: (if I remembered the syntax correctly) would set the logical "punch" device to be the physical paper tape punch, which was the default. I may also be confusing CP/M I/O redirection syntax (which only worked if your BIOS supported it), with DEC RT-11 syntax. It has been over 40 years since I have used either one.
Minor nitpick: PUN is not a device in Windows 11 (I haven't tested on previous versions). > echo hello>pun: > type pun hello
In the section about paging, are there actual systems working in the megabyte range?