I'm wondering if our main directory is becoming too cluttered, and if it wouldn't be better to put all the content into a content/ subdirectory. Objections? If you are making your own remixed PDF it might require changing some \olimport commands. Please comment at https://github.com/OpenLogicProject/OpenLogic/issues/58 -R