Comment by @claquette • Hey

which means that we can go from stani.lens to stani2.lens ?