[mi_lk]

That’s really because Chris Lattner was at Google Brain at the time. Don’t think it ever took off in meaningful ways