> the quote is not by Knuth, but by Claus Tøndering Sorry, my mistake. I knew Knuth was religious so I assumed it was his quote. I stand by the substance of

> the quote is not by Knuth, but by Claus Tøndering Sorry, my mistake. I knew Knuth was religious so I assumed it was his quote. I stand by the substance of my comment though. But I agree with you that it's not a huge big deal.