Don't mention PHP too often

People might find out that I like PHP… Also, it makes switching the
language of the input file (currently SamSmith.php) a little easier.
Crib GitHub's font stack
Rewrite SamSmith.php in Hack