Pingdom is down

Confirmed - it's down here, and also using:<p><a href="http://www.downforeveryoneorjustme.com/pingdom.com" rel="nofollow">http://www.downforeveryoneorjustme.com/pingdom.com</a>

This is why downforeveryoneorjustme.com was invented. Not of general HN interest.