The ltl2ba project's README file is empty or unavailable.