Added command at end to use times fonts; commented out.  Instructions to use times are there as well.
Added command at end to use times fonts; commented out.  Instructions to use
times are there as well.

Doing it here means the switch only affects one file and gets everything
rebuilt as needed.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator