Is there a correct way to delete downloaded user made campaigns? When I delete them from /usr/shar/wesnoth/data/, it doesn't remove the campaign name from the main menu "campaign" menu.