I just went ahead and deleted anything that looked Edge-related from all the system directories. Sure, my computer won’t boot into Windows anymore, but all the more reason to use Linux!