On Sunday, 9 September 2012 at 16:38:43 UTC, Timon Gehr wrote: > I am in favour of this change, but why would it help eliminate > the usefulness of .idup? I'm not for the removal of idup.