rms made a choice: http://news.gmane.org/find-root.php?message_id=%3cE1VyjpD%2d0003mS%2d18%40fencepost.gnu.org%3e http://news.gmane.org/find-root.php?message_id

rms made a choice: http://news.gmane.org/find-root.php?message_id=%3cE1VyjpD%2d0003mS%2d18%40fencepost.gnu.org%3e http://news.gmane.org/find-root.php?message_id=%3cE1VyjpD%2d...