webhint is a customizable linting tool that provides hints to improve web development practices,...