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