HTML switch was already requested in 2018: https://github.com/whatwg/html/issues/4180