The gap-automata project's README file is empty or unavailable.