watched "Richard Stallman - Lunduke Hour" April 14, 2017 https://www.youtube.com/watch?v=S0y0oXU8YNk  (~ 1h)