Can lenses be shared with other users? And is there some kind of shared repository for them where we could crowdsource for example a lens with the urls of all Python docs of popular packages?