Merge "docs: recommend Ubuntu 20.04 instead of Bionic"