Update docs for new name of random-ami-name option