Remove lean-explorer-SDI tag.

Deleted: tags/lean-explorer-SDI/