gateway docs: duplicated documentation bug

What type of PR is this?

docs: duplicated documentation bug

What this PR does / why we need it:

Fixes some duplicated text in the HTTP Request Headers documentation: https://gateway.envoyproxy.io/docs/tasks/traffic/http-request-headers/

Release Notes: No

Aug 28 '25 09:08 grogancolin

hey @grogancolin can you sign your commit and force push ?

Sep 03 '25 20:09 arkodg

@grogancolin DCO is still failing

Sep 04 '25 02:09 arkodg

Hmm I'm using jj and there's clearly something wrong with it's git signing :)

I'll work on figuring out how to fix

Sep 05 '25 20:09 grogancolin

This pull request has been automatically marked as stale because it has not had activity in the last 30 days. Please feel free to give a status update now, ping for review, when it's ready. Thank you for your contributions!

Oct 06 '25 00:10 github-actions[bot]

@grogancolin can you sign your commits and re-push?

Oct 28 '25 06:10 jukie

This pull request has been automatically marked as stale because it has not had activity in the last 30 days. Please feel free to give a status update now, ping for review, when it's ready. Thank you for your contributions!

Dec 05 '25 16:12 github-actions[bot]