https://github.com/flutter/devtools/pull/9770#discussion_r3082573197
#9770 (comment)