Managing Connections Updates that are greyed out

I would suggest that, when a server name changes during an upgrade (e.g., Denodo v8 to v9), administrators should be able to update existing connections pointing to that server, instead of being required to create new ones each time. This is critical because if someone builds a semantic model directly in Power BI Service (not Desktop), manual intervention is needed after the connection changes.
As for now the option to change the Connection String / Server is greyed out and therefore it would be great to be able to modify that.