You're right; the original plan was for a greater API difference between `HTTP20Response` and `HTTP20PushedResponse`, but that never really materialized. Will fix.