Add David Choi to contributors.json
<rdar://problem/114050765>
Pull request: https://github.com/WebKit/WebKit/pull/16811
Committed 267016@main (4d75838d96cd): <https://commits.webkit.org/267016@main> Reviewed commits have been landed. Closing PR #16811 and removing active labels.