Hmm yes I can see this problem too, it looks like we’re checking for the theme’s name to determine if it’s installed… so if its name changes (either locally or remotely before it’s installed) it won’t be recognized as installed.
We should probably check against the repo URL instead, that should change less often than the name… the good news is that this won’t impact any kind of automatic updates.