<blockquote>webhint, a linting tool for the web focused on best practices and flexibility for the end user</blockquote>