It seems to me that you did enough work on this PR to add your name here...