The official repo installation script doesn't work on Raspbian (opens in new tab)

Hello, Not sure if this is the right place to post about this because it is not a problem with tvheadend but with the official tvheadend apt repo\. I've used the script provided in the documentation to setup the official APT tvheadend repository on a Raspberry Pi running Rasbian Trixie\. The script sets up a source for Debian but the distro name in the cloudsmith repo is Raspbian\. No package is found by apt as a result\. Raspbian reports its name as \"Debian\"\. Please could you rename the d...