>>254 確かに。そのあたりは、下記でも触れられていますね。
https://raid.wiki.kernel.org/index.php/Partition_Types

個人的には、交換用に新しく買ったディスクのサイズがちょっと小さかったら、
そのとき対処すれば良いんじゃないかなー、と思ってます。

mdadm --grow --size= でサイズ変更するだけなので。

あ、RAID1以外だと時間かかりそうだし障害時にやるのはあれだから、
--create するときにあらかじめ --size しておけば良いんじゃないのかなー。