[mlrtime]

I remember when /r/technology was more about technology, now it is /r/politics with a microchip hat. I ignored that sub long ago.