Yes, he said he'll PR the name change. See his post 10493 here: "We plan on doing that as soon as we file."
