Add some information about the PDP-3, PDP-4, and PDP-11.