Design and implementation docs for the Lantern projects