The file manager is having issues recently. Please try using FileZilla instead.
The guide says “upload”, but the steps are mainly the same for deleting files.