I want to use
do-release-upgrade to upgrade from 18.04 to 20.04, but I can't do that
Checking for a new Ubuntu release
There is no development version of an LTS available.
It seems that this file is used, and it still points to 18.04.
Do you know when (or how?) can I upgrade to 20.04?