Anyway, it’s done, but we need to add discussion of this issue to the migration guide.