I didn't see a report about those posts. Were they here in the main community? Keep in mind we don't normally patrol or moderate the comments and communities of individual games or jams. If they're not being properly moderated by their owners, an admin can intervene, but they have to know about it. Please contact support.
Edit: in fact I can only find one user by that name, with no icon and no posts. Not that we should discuss this here.