Deleting a Plugin

A plugin may be deleted dynamically using Pilot-DB, for that you need to return to the plugin selector as you did when viewing the information.

Once there when you have selected the plugin for deletion, you just need to tap on the Delete button.

It would be preferable to exit Pilot-DB immediately and even do a Reset, but this is not mandatory.