I just looked them up. $5M and 4 years spent for a JavaScript lint tool. I'm not sure what problem there were solving