replaced outdated flag by update_time (multithreading-safe presentation order);
replaced outdated flag by update_time (multithreading-safe presentation order);

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