The Lens manual, for developers