Hi Nicholas! That's good to hear, and definitely makes more sense given how popular and old tmux is as a project.

So I guess something just didn't translate correctly to Thomas's GitHub mirror.