More concretely, https://www.eclipse.org/jetty/documentation/9.3.x/http2-configuring-push.html

Bah. Never mind. I just realised that http1.1 is still being used, and can't get either chrome or curl to switch to http/2 with my jetty