wxMaxima 20.01.2 -> 20.01.3