Making hack.rice.edu the official domain