Double-check code imported from GitHub Copilot

[maxxfrazer]

Not sure if there are others, but I found a documentation page labelling GitHub Copilot as the author, a version to 1.0.0 and since 2021-10-15.

[zjc19891106]

This is also a known issue and I will delete them later.