A JavaScript checker and optimizer.