Is this the "polishing" release after 1.13, or is there one after 1.13 that will take on some of these tickets? (Some of them seem, or at least all of them together, pretty heavy for a polishing release?)