David Mills, the internet's 'father time,' dies at 85 : vima