simplified is_stale, check_stale; fixed map_sg -- proper treatment of non-drafts;
simplified is_stale, check_stale;
fixed map_sg -- proper treatment of non-drafts;

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