Normally I would complain about people spamming in GitHub issues but I don't think it will matter this time