Added nlab documentation link