These were the "Knight"/Symbolics keyboards. The best, ever.
I was able to type at 120 wpm on these keyboards.
At 07:19 AM 3/5/2015, Joerg Arndt wrote:
Some people map caps-lock to ctrl (IIRC old HP(?) keyboards
had the key labeled "ctrl" right there).