HomeIsabelle/Phabricator

more robust protocol for "Timing ..." messages, notably for pide_session=true;

Authored by makarius.