Follow-up for 2012-05-04T06:45:03Z!rgm@gnu.org.