Updated comment: batch.bash now in Scripts.