Remove lean-explorer-MDI tag.

Deleted: tags/lean-explorer-MDI/