clean up tex.org