All sorts of formatting tweaks.
Align some labelling comments.
Title-ize a slide.