You'll not that it was going to output "There are 1 blue dot" before, as well - it just wasn't as obvious. Of course we could fix this by hand pretty easily now.

You're correct that some of these changes were done automatically and some were done by hand. My tool is both a fixer and a linter. It detects strings like the above (with three different uses of pluralization) and outputs an error - at which point we need to step in and manually adjust the HTML (which I've done in a number of places).