The page ?Android install doesn't permanently add to $PATH does not exist.