header.tex deleted, .gitignore updated, lim_{t->\infty} replaced with \lim\limits_{t->\infty} etc.