By the request of a commenter, all of the comments above belonging to that commenter and to myself have been removed.

Edit – 19 September 2017: These comments have now been restored. For more details, see the top of the post.