Documented $slr->exhausted(): Github issue #114: t+