Good point! That's why posting on HN is so great, even if you're 99.9% correct, someone will always reply to tell you precisely how you are 0.1% wrong . Thanks for the link, I tried to find official sources online and had trouble.
I'm just curious since I know that controlling the level of E. coli contamination in milk is important from first-hand work on dairy farms, plus I know that pasteurization heats (not boils) the milk, and not for the ridiculous durations I see when searching online for "making water safe to drink".