wxMaxima 20.01.2 -> 20.01.3 wxMaxima 20.01.2 -> 20.02.0