If you are not redirected automatically, follow this link to Robotank's new page.
Atari's documentation has moved to ale.farama.org