lens-tutorial-1.0.0: Tutorial for the lens library