Ok I gather this has to do with the broken PPA for Ubuntu 20 mentioned in another post. Will close this off until that’s resolved and check again. Read More...