Made the teleport ICs output high on success.
Also fixed a few documentation issues, and added some more.