Comment by xcrjm

They did credit it back to him. There's a comment in the linked issue.