本家 pull request #512 の反映
本家 pull request #519 の反映
本家 pull request #516 の反映
本家 pull request #523 の反映（#521 は日本語版に関係ないためスキップ）
本家 pull request #530 の反映
本家 pull request #515 の反映
本家 11/7 分 (1.0.2) まで追いついたので、README と PDF を差し替え