Here is the plan.
I will be doing some research into some USB IR receivers for my girlfriend's HTPC as a fallback method if for some reason Kore (the Android app for KODI) drops in terms of connection.
It must support kernel 4.15 or lower, or have some drivers that can be installed. While I do this research I am curious to see if anybody has had success with such products.
Thank you all in advance.