Is there any significant advantage of the autogenerated messages like
Thanks for opening this pull request! The maintainers of this repository would appreciate it if you would update some of our documentation based on your changes.
? If no, disable adding this chatbot message for any new PR.