Task: Force HTTPS in an IIS web.config

Task: Force HTTPS in an IIS web.config: a task in Terminal-Lego-15k (Harbor dataset). You are given a Windows/IIS-style web.config file and need to modify it so that all HTTP requests are redirected to HTTPS.