Some mods to lecture 12.
Add new comment-highlighting to lecture 11 and 12.