The language-independent documentation for Teleport