ファイルの先頭のIDはIDというよりバージョンにして 拡張子で判定のほうが伝統的でわかりやすいような。 当然拡張子は3文字がいいので「PGRP」だと長すぎ。 「GRP」は使えないし「PGP」は間違えるので「PGR」形式を推します！