I'm not seeing any trademark registrations by Hashicorp on TF, nor any mentions of TF in any of the Terraform marketing pages. Not to say that Hashicorp couldn'

I'm not seeing any trademark registrations by Hashicorp on TF, nor any mentions of TF in any of the Terraform marketing pages. Not to say that Hashicorp couldn't try to be difficult anyway, but it feels like at this point doing this would just raise the visibility of the OpenTF project.