By the way, are you aware of this: https://forum.audacityteam.org/t/ubuntu-mint-audacity-2-4-1-ppa-problem/57517/1