Ah, no, sorry, if an app is gone from the library then it needs to be reinstalled.
Although I probably should add a workaround for that, since the issue is pretty serious.
