I will join the chorus in saying thanks. It’s not perfect, and for me it was complementary to Mathematica, but I defended my dissertation in 2013 and need to revisit.

It attacks a hard, hard problem and I’m super happy that it will eventually replace Mathematica so that anyone who wishes can see how the black box works.