Unfortunately I don’t know how to get this info with the TV remote.
If the changes in the development version fix my problem, I will get them through the update system.
I also saw this post which says that the keyboard-configuration package interferes with the splash screen. I did install it, but if I remember correctly the splash did not become distorted as soon as I installed the package.