I think it’s fine to push whatever. Extensions was the main feature, and we’ve also got a bunch of small bugs and table fixes. (as always)