Upgrading a Terraform-managed MySQL Flexible Server

Azure offers the option to in-place upgrade an instance of Azure Database for MySQL Flexible Server (its managed MySQL-as-a-Service offering) from major version 5 to 8. Pretty handy. My MySQL flexible server is managed by Terraform - I wonder if we c...