The alt-ergo project's README file is empty or unavailable.