Good news, we now know up front what an independent port would cost, and it’s not much. So no reason AWS, Google, and friends couldn’t bang out their own port if they want, binary-compatible with this one.

What we don’t know for sure is whether there is any copyright for LLM-generated code. The license might be irrelevant!