[suggestion] review and update (remove?) jetty specifics from documentation

[dizzzz]

review and update (remove?) jetty specifics from documentation

candidates:

• advanced-installation.xml#cli-flags
• troubleshooting.xml#port-conflicts
• production_good_practice.xml#gzip
• deployment.xml#run-stand-alone
• deployment.xml#custom
• upgrading.xml#upgrading-from-source
• deployment.xml#binding-address

[joewiz]

[This response was co-authored with Claude Code. -Joe]

Hi @dizzzz — heads-up that I opened #1248 against advanced-installation.xml#cli-flags (one of the candidates you listed here) to document the two new Jetty system properties from eXist-db/exist#6420: jetty.http.maxFormContentSize and jetty.http.maxFormKeys. They sit naturally alongside the existing jetty.host / jetty.http.port / jetty.ssl.port entries — same naming convention, same -Djetty.X.Y=Z usage pattern, same <varlistentry> style.

Not asking for guidance on the location for these two specifically (the cli-flags section is unambiguous for -Djetty.* properties), but flagging that the section is now also one data point in your broader Jetty-docs triage — it gained a couple of entries and may interest you when you get to that file.

Happy to fold further Jetty-property additions into the same PR if you'd rather batch.