Note in particular that it’s easy to make links to and from the nLab from here. From here, write [[nlab:page name]], and from there, write [[homotopytypetheory:page name]].