Special-case postgrey in the generator