Wrap lines to ~80 chars#392

StanFromIreland wants to merge 1 commit intoOpenLogicProject:masterOpenLogicProject/OpenLogic:masterfrom

StanFromIreland:update-docsStanFromIreland/OpenLogic:update-docsCopy head branch name to clipboard