Remove not-lean tag.

Deleted: tags/not-lean/