Renames to lein-conjecture.