SSH GW credentials override from user vault

Small feature request: I cannot find a way to override credentials for SSH Gateway when connecting to an SSH host entry, and I assume there is no such way. Could you please add that at some point in the future?
 
SSH Gateway doesn’t seem to honor the “VPN/Tunnel/Gateway” credentials override configuration in the User-specific settings, and that would be quite important for us. Now it just asks for credentials even if I set all the overrides in the User-specific settings. The actual host credentials are overridden just fine, just the gateway ones not.

This would be crucial for us to have, as we are using personal credentials also to the customer-specific SSH gateways.

To clarify, I mean this SSH Gateway configuration in a host item. Basically we would use that to connect to a customer environment via one of the customer servers to only have SSH port open to one host, using the same personal credentials to log into the gateway host and to the actual target computer.