more robust load_timings: ignore XML.Decode errors as well;
more robust load_timings: ignore XML.Decode errors as well;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle