Hi all, I've written this small patch that I thought might be useful. What's the correct way for this community to submit it? Is it via this e-mail list, or should it go in the bug tracker, or should it go somewhere else? Thanks, Jon