Update tex.snip.org