Aaron Swartz - what a massive loss