wxMaxima 20.01.2 -> 20.01.3
wxMaxima 20.01.2 -> 20.02.0