Comment Comment by nicolasMLV Let's hope Github will find a way for users to be able to 'tip' maintainers. I concede it is very hard to find the solution (Who? When? How much?) parent nicolasMLV 10 years ago