It's worth noting that the developer of Mathics joined Wolfram recently. Might be related...