wxMaxima 19.02.1 -> 19.02.2