何度かチャレンジしてうまくいきました。
Linux版、ASDL環境なんで、ドキュメントはもちろんダウンロードしない。
これから試します♪