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...