- See https://github.com/micropython/micropython/pull/13234, which I think we would do also.