See suggestions in comments here: https://github.com/flutter/devtools/pull/4659
See suggestions in comments here: #4659