@80f08b97 But they're still not confident enough to feed their own private source code into the public model, right? 

 @fa973c41 they should!  Although on second thought, do we really want the world infected with Polish notation? 

 @80f08b97 @fa973c41 wait… you mean Hungarian, right? 

 @a2fd2d6f @fa973c41 sorry yes