Thanks for the replies. Regarding Deepsea Toolbox, I'm sure it's the right file, downloaded from their GitHub. I saw someone on this site who had the same problem, but I didn't find a solution.
Regarding worms, I downloaded various versions from various sites, but it doesn't work. Maybe the...