Merge commit 'f9c7a3e25e6e83292051414246cb1fc0c5f85207' * commit 'f9c7a3e25e6e83292051414246cb1fc0c5f85207': Doc change: update ADT 0.9.8 checksum and size.
Merge commit 'f9c7a3e25e6e83292051414246cb1fc0c5f85207' * commit 'f9c7a3e25e6e83292051414246cb1fc0c5f85207': Doc change: update ADT 0.9.8 checksum and size.