Comment by nielsbot

Some of the PRs posted by AI bots already ignored the instruction to append ROBOTS to their PR titles.