Why would that be necessary? Their product isn't a framework, isn't related to console apps, and isn't directly related to React.
If I search “ink deploy” I get docs for deploying a different project than the two being discussed, and the second search result is a thread about THIS Ink on HN three days ago. So it’s not impossible to find, but if the necessary differentiation is built into the name they’ll improve discoverability.
Their domain already provides that differentiation. Call it ML Ink. That search brings up their site as the first result.