Massage the CONTRIBUTIONS file a bit.