isn't it necessary to delete install directory?

Dear elgg users,

Isn't it necessary to delete the install directory after the elgg installation for security reasons? If yes, this seems to have been ignored in the documentation I guess. What is your opinion? Is it OK to leave it alone?