Who is baduk1234 and why are they creating hundreds of PRs? | Hacker News Reader