The central repo for Chez Bob at UCSD.