Make Pushlog more robust and more generic, and received times more accurate