Also, what's the difference between terraform code in https://github.com/fleetdm/fleet/tree/main/terraform/example vs infrastructure/dogfood? https://github.com/fleetdm/fleet/tree/main/infrastructure/dogfood/terraform/aws