speaking of releases: i'm going to cut new rcs of both 1.17 and 1.18. we should have closed out 1.17.x ages ago: sorry.