I looked around at the user's activity a bit and they had sent essentially the same PR to at least one other repo recently, and appeared to be affiliated with repl.it.
I went ahead and merged the PR since it does just seem like a small net positive addition.
I still wonder though: what downside to this might I be missing?