Also mention the GitHub address for the adtools project.