Thanks for pointing this out. I have rechecked my Samsung remote and I clearly made an error when I transcribed from my paper notes to the file.
I have uploaded the correction so the problem won't affect anyone after an upgrade or future new build.
Thanks for pointing out the the USB IR receiver; unfortunately it won't work without changes to the code. It also seems expensive (£20) when the recommended IR sensor only costs about £1.
Mechanically it presents issues as well, because to extend it to a front panel a USB extension lead is required, as opposed to 3 wires for the recommended sensor.
Nice idea, but....
DOWN: 0x1fdd2 #CH+
LEFT: 0x1fd99 #CH-
VOL-: # Left
This one does not have arrows but does have volume and channels in a similar format.