I’m glad you got the update for Mitch and that it fixed the bug, I pushed it out a couple of days ago but you might have received it a bit later if you downloaded it through F-Droid
