* src/tgba/tgbatba.hh (tgba_tba_proxy::state_is_accepting): Document it. Reported by Denis Poitrenaud.