How does Reddit come up in this?

The only official community spaces they maintain are:

- their GitHub projects (Issues, Pull Requests, Discussions)

- their mailing lists

- their HackerOne page

If you were harassed on Reddit that is still shitty of course, but it's not gonna be on the project's dev team:

> Some dev teams do not mess around.

Unless some of the devs have verifiable, pseudo-official presence there at least.