Add a .gitignore file for ignorable LaTeX byproducts in docs/
Progress with commuting theorems.