The teleportr contracts do not exist in this repo anymore.
The script for generating docs does not delete all of the
files when regenerating them, so old docs are left around.