How is ElementaryOS doing nowadays? I used it for about a year a few years back and while gorgeous to look at, it had quite a few UI glitches.