David, that's great! Perhaps you could start the ball rolling by preparing a short proposal about how the GitHub/PEAR integration would work. I'm not very familiar with PEAR, so you'll have a much better idea about what kinds of things we can do on our side to make things work the way you'd like.