Update PGRE.md