Nginx 1.13.9 HTTP/2 Server Push - non-compressed assets ?

[George]

Hi compiled Nginx 1.13.9 from master branch to try out HTTP/2 Server Push
but noticed the pushed assets loose their gzip compression and are served as
non-compressed assets ? Is that as intended ? I posted my findings at
https://community.centminmod.com/threads/hurray-http-2-server-push-for-nginx.11910/#post-59411

    http2_push_preload on;
    add_header Link "</css/bootstrap.min.css>; rel=preload; as=style";
    add_header Link "</css/theme-style.css>; rel=preload; as=style";

push works as I see PUSH_PROMISE frames and chrome reports push

nghttp -navs https://baremetal.doman.com/

[  0.018] recv (stream_id=13) :method: GET
[  0.018] recv (stream_id=13) :path: /css/bootstrap.min.css
[  0.018] recv (stream_id=13) :authority: baremetal.domain.com
[  0.018] recv (stream_id=13) :scheme: https
[  0.018] recv PUSH_PROMISE frame <length=42, flags=0x04, stream_id=13>
          ; END_HEADERS
          (padlen=0, promised_stream_id=2)
[  0.018] recv (stream_id=13) :method: GET
[  0.018] recv (stream_id=13) :path: /css/theme-style.css
[  0.018] recv (stream_id=13) :authority: baremetal.domain.com
[  0.018] recv (stream_id=13) :scheme: https
[  0.018] recv PUSH_PROMISE frame <length=40, flags=0x04, stream_id=13>

Posted at Nginx Forum: https://forum.nginx.org/read.php?2,278481,278481#msg-278481