Delete nav_commands.corpus~