僕が今作っているものも、プチコンの「プチ」の意味でファイル名に「PUCHI」と入っています。 でんぺんさんの書き込みを見て、なんだか僕も気になってきました。僕は変えておきますね(笑)