Coudn't even bother putting his name in the headline

RIP.

Much respect to these selfless volunteers spending their life making everybody's better.

Rest in glory

Though I never personally knew the man, I use his contributions daily. RIP