Reddit mourns the loss of co-founder Aaron Swartz.