シナモンは人気のディストリビューションMintに
採用されているけど、当初の期待に反してマテほど
には普及してないように思うんだけど、どうなの？