reverted most of 5944b20c41bf -- tends to cause race condition of synchronous vs. asynchronous version;
reverted most of 5944b20c41bf -- tends to cause race condition of synchronous vs. asynchronous version;

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