[rvz]

> In November, 2020, Ursem posed the question to GitHub on Twitter. They never replied.

Try contacting the CEO of GitHub on Twitter.

Good luck. /s