I like this, and I just signed up! Do you think tipping is something that GitHub might want to add as a core feature of their web site?