Due to some very annoying behaviour of gratipay (the donation service devdocs uses) I have donated over $100 to them last year of the course of a few months. Not what I wanted to donate, but then again there aren't many websites that I use more often in my day to day work. So I am not too bummed about it.
Great work guys!