Downloading worlds can delete other worlds.

Incomplete.

He probably downloaded a world named "world" and overwrote his own.

You cannot "download" worlds from within Minecraft.
You download it by whatever means, unzip it and copy it manually into the savegame folder --> User's fault.