I use my TV remote mainly so it is not an issue for me but I have left everything at the default, there is a dedicated thread for support on these issues as I mentioned.
You will have to spend some time using ir-keytable and ir-ctl to find the settings that are most suitable for you, if your not willing to do that then stick to using 8.2 as all developers have agreed to use the LIRC based solution instead of amremote for releases going forward.
Is it not possible to somehow use amremote on your leia build? Would it mean alot of work, or is it simply not possible at all?
Also: Is it possible to boot the TX3 Mini at the same time as the TV with the tv's remote control power button?