And then there's the actual discussion in #31130 which came to the conclusion that the performance increase had uncertain gains and wasn't worth it.

In this case, the bot explicitly ignored that by only operating off the initial issue.