freesat mythtv firmware hauppage problem

Although the card is seen on the system, and in Mythtv, the Hauppage DVB-S2 tuner needs some non-free firmware to make it work:
cat /var/log/kern.log
Apr 7 08:35:22 mythserver kernel: [ 711.136979] cx24116_firmware_ondemand: Waiting for firmware upload (dvb-fe-cx24116.fw)...
Apr 7 08:35:22 mythserver kernel: [ 711.140459] cx24116_firmware_ondemand: Waiting for firmware upload(2)...
Apr 7 08:35:22 mythserver kernel: [ 711.140466] cx24116_firmware_ondemand: No firmware uploaded (timeout or file not found?)
Apr 7 08:35:22 mythserver kernel: [ 711.140473] cx24116_cmd_execute(): Unable initialise the firmware

It won't tune until the firmware is installed, so:
sudo apt-get install linux-firmware-nonfree

Reboot, then :
markp@mythserver:~$ dmesg | grep cx24116
[ 37.916332] cx24116_firmware_ondemand: Waiting for firmware upload (dvb-fe-cx24116.fw)...
[ 38.071137] cx24116_firmware_ondemand: Waiting for firmware upload(2)...
[ 42.916930] cx24116_load_firmware: FW version 1.26.90.0
[ 42.916948] cx24116_firmware_ondemand: Firmware upload complete
[ 45.166018] cx24116_firmware_ondemand: Waiting for firmware upload (dvb-fe-cx24116.fw)...
[ 45.171222] cx24116_firmware_ondemand: Waiting for firmware upload(2)...
[ 50.036655] cx24116_load_firmware: FW version 1.26.90.0
[ 50.036675] cx24116_firmware_ondemand: Firmware upload complete
mythtv tuning now works...