公式から"Raspberry Pi Imager"なるもの出ていて Etcher 使わなくて済んだ。Format Card もできるので SD Card Formatter もなくてもいいのねー。