Remove these that were merged by accident; we do distribution by hand now.