Hi,
First - use gentoo :) if it gets stuck, than you can blame yourself
Second - credits, as you wish, I respect that, both patches will make the next version, including the fixed one
Regarding the tickets, I am sometimes slow in approving stuff and responding, this is better than the occasional spam tickets that made it through, which I am the only one to see now...
They will be live in the coming days, sorry about that.
Thanks again, and any further patches are always welcomed