Linting tool for HTTP-based live video streaming.