robots.txt still don't work meh don't care. added the LaTeX snippet