Hacker News Reader

They did not change names; LibreELEC was forked from OpenELEC over internal disputes in 2016 or so. Both projects live on independently.

OpenELEC’s last release was in 2017, it was a hard fork :).

A succesful one, i'd say.