Ontop views

Ontop views have been renamed lenses. See the new page.