Alright, I got it fixed! Opened a PR in GitHub, and it works fine for me. Would be good if other people tried it, made sure it didn’t mess anything up.
