All documents that related to Lens IDE in general will move to the private lens-ide repository. All extension API documents will remain in the lens repository and be served on a new url. Signed-off-by: Steve Richards <srichards@mirantis.com>
