Moved stuff from to-do to in-progress
Ignore some TeX droppings