I just assumed they went to Ken Thompson directly.

it's in the github issue itself :)