Hi, I'm noticing there are quite a few branches in the gretl git repo and I believe some of them are no longer needed. For example: - alt-mpi-errorif: the action there happened in October 2021, I think it can be deleted, agreed? - signrSVAR: I know I'm responsible for this one, but for various reasons nothing is happening there - I'm inclined to delete this as well, and a new branch can be opened when the time comes. - jump-table: No action anymore this year, and I think I remember that it was a failed experiment. OK to delete? - golden_slen and alt_steplen: I believe one of them is still needed, but both? thanks sven