Oh no! Anyways... I love zig and I'm glad they're moving off what GitHub has become, not least because enough high profile projects leaving might make them focus on what matters again.