https://tongfamily.com/2020/09/06/more-linting-is-good/