Deprecated configuration on documentation

[cattoMarco]

Hi everyone,
I noticed that the properties quarkus.oidc.proxy-host, quarkus.oidc.proxy-port, quarkus.oidc.proxy-username, and quarkus.oidc.proxy-password have been deprecated starting from version 3.31.

I also noticed that this deprecation is not mentioned in the corresponding migration guide
. I don't know whether the Quarkus guidelines expect such deprecations to be documented there, but this information should be made explicit to users.

Could you please clarify whether this is expected behavior or a missing entry in the migration guide?
If it is the latter, I would be happy to contribute by updating the migration guide if you can point me to the relevant contribution guidelines, or I can open an issue in the appropriate GitHub repository.

[quarkus-bot[bot]]

/cc @radcortez (config)

[holly-cummins]

cc @sberyozkin