wxMaxima 20.02.1 -> 20.02.2