wxMaxima 20.02.0 -> 20.02.1