The end of an era. RIP Roblimo. https://linux.slashdot.org/story/18/05/24/1750210/robin-roblimo-miller-a-long-time-voice-of-the-linux-community-has-passed-away