H744 switching power supplies in PDP-11/70 (was Re: Hardware Hobbyists vs. Emulator Jockeys)