The history of how we killed "subscribe" comments on Drupal.org