Prevent deleted scripts from appearing in the Script Manager
Deleted scripts have no way to deactivate, as a result if a user has a script active that is deleted from the repo they have no way to remove it from their script manager. It'd be great if those scripts can be filtered out, so they don't clutter the user's script manager.
Alternatively, creating an option for the user or an admin to deactivate the script would work as well.