Updated documentation for Lepton