Raspberry Pi Picoのドキュメントのライセンス

Raspberry Pi Picoのドキュメントを翻訳したら需要があるんじゃないかと思ってライセンスを確認したところデータシートの冒頭に「The documentation of the RP2040 microcontroller is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND).」と書かれています。ようはクリエイティブ・コモンズ・ライセンスの改変禁止のライセンスで公開してますよってことらしい。どうやら翻訳は改変に含まれるようなので詳しく見ていくと第2条(a)(1)(b)「翻案物を作成および複製すること（共有は除きます）」となっており翻訳しても良いけど共有してはいけないらしい、残念。