It's over at the JP1 file section: Pace HDC 74X1 (the X is supposed to reference any number) The instructions are well out-of-date so use these: http://placeshiftingenthusiasts.com/how-to-install-a-custom-remote-onto-the-slingbox/
Thank you very much. I had previously tried the very bin file you linked,
but had not set my device as PVR, Also, I don't remember if I had rebooted
it after uploading the remote file then. In any case, it's all working now
and your updated instructions proved very helpful!
Thanks again! Do you do this for a living?