The ant extension and its documentation moved under its own repository.