TerraDS: A Dataset for Terraform HCL Programs. - Christoph Bühler; David Spielmann; Roland Meier; Guido Salvaneschi (MSR, 2025)