Interesting. I came to report an opposite, but related issue: I'm running v7.90.004 ALPHA on a RPi3. I get double keystrokes when using my standard TV (CEC) remote. This never happened earlier and I've been using the same TV with OpenELEC/LibreELEC for three years.