tools/sgf2gtp.py: extended script description.