My main goal in mentioning them is for naive users to realize what lantern is. I think for early days it's good to get that in. Later we can take it out when Lantern has its own momentum / we're confident we're explaining well what it is.