DJ’s still at Red Hat. I talked to him in our (RH’s) retro slack channel occasionally. PDPs, DECs, VAXes, Commodore, Amiga, SUN, and DOS are frequently discussed there.