Was this changes done by the `generate_docs` tool or did you edit this one by hand?

I just ran the tool on my machine and this change didn't happen, I'm worried it will get overwritten.