Eyelet size on DEC PDP8/11/etc boards