php-fpm profile doesn't cover upstream example pid file path

The upstream php-fpm.conf.in file carries the following pid file example path:

      [global]
      ; Pid file
      ; Note: the default prefix is @EXPANDED_LOCALSTATEDIR@
      ; Default Value: none
      ;pid = run/php-fpm.pid

This path is not currently covered by the php-fpm apparmor profile, which currently only allows @{run}/php{,-fpm}/php*-fpm.pid .