more accurate handling of global browser info at the very end (without races), subject to no_build and info.browser_info;
more accurate handling of global browser info at the very end (without races), subject to no_build and info.browser_info;

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