texlab at Rice University's headquarters in Houston, United States