That IS a good solution, grandmoo, but not everyone retains the installation file for every theme :)
Not to mention, attempting to re-obtain it, and finding a new version, will make AppManager think it is a NEW theme!
But if OP has their original theme installations lying around, they should...