Comment 1 for bug 1873756

Thanks for the heads up!

I have changed it in the repo:

https://git.launchpad.net/~ubuntu-core-doc/ubuntu/+source/ubuntu-docs/commit/?id=447dd3fb

But it's too late for the release this week; the change will be shown in the Ubuntu 20.04.1 point release in July.