::I'm sorry about this, Redvers. It looks like I got in the middle of a war. I added the disambiguation back to the page and a citation. Now JW1805 has deleted the whole article, redirecting it to punch cards.