「プチコン.net 非公式プチコンマニュアル」 http://petitcom.net/ さんでMiiverse内のプチコン3号ページにについて全文検索できるみたいなので「圧縮」とか入れてみるといいと思います。