Add note about `batfiles` repo.