Additions to the “More helpful hints” section.

20 Aug 2016: