Added a note about Newsham's mining pun