more formatting work, continuing to edit lecture notes