私も公式ムックで読んだので、プチコンという名前ではないのは知っていましたが、同様のソフトという意味でプチコンと書きました。 たぶん、Switchで出るとしたら、プチコンとは別の名前になるのでしょうね。