Changed name of Stanford algorithm, per their request.
Merge branch 'finished' into hints
Removed brackets in hints indicating block names.
Merge pull request #777 from espertus/hints

Changes to hints requested by Stanford researchers.