If you're a developer and you're trying to edit any pgm-*.php files, keep in mind that these files exist in two locations.