[c0l0]

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

[imeron]

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

[scns]

A succesful one, i'd say.