yeah, agreed. i dunno, this may only really affect the slower python-based extensions, but im happy to open an issue for this if people think it;’s worth it