Moved note to agda2atp repo.