Update Hakyll.
Tweak schedule formatting.
Add discussion leaders.
Update schedule.
Qualify utility of Physics of Notation.
Initial theory summary page (in progress).