Hello. I'm working with wxmaxima and running up against some serious bugs. It turns that I'm using an old version of wxmaxima, and I expect that the bugs have since been fixed. I have version 19.07, which is what is in the Ubuntu repository, and the current version is 22.03. But I know how to install the current version. The instructions at https://wxmaxima-developers.github.i.../download.html take me to the repository version. Can you help? Thanks.