噂通り、ニンテンドーダイレクトがミニとして7月20日公開へ!