no more bonus for E -- with the soft timeout, this punishes everybody -- the bonus was designed for a hard timeout
no more bonus for E -- with the soft timeout, this punishes everybody -- the bonus was designed for a hard timeout

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