The easy fix is just to create a non-working database connection with the same name as the one you want to delete, and then delete that new database connection. That should automatically remove the history provider as well.
4 Likes