What is the KH11-A? (was Re: Differences between the PDP-11/15 and PDP-11/20)