For various reasons that might be explained in more
retroblogging, around January 2014 I got fed up with
OSX and decided to switch back to Linux. I got things more or less working on
my Macbook Air. (Later, in 2016, replaced with a Macbook Pro.)