4 ms·

Looks like the bloomberg title has been fixed, but the HN link title hasn't (URL though still says Mars).