Hacker News Reader

I understand that nobody created a local clone of the repository.

We do have clones of the git repos (mirror at https://codeberg.org/ManimCommunity). Issues, PRs and the Discord server are another story...