Does anyone use Fedora Linux for an home theater PC (HTPC) setup? If so, can you comment on what sort of interface you’re using? Kodi? GNOME with scaling?