Thank you.  Do you happen to know the PPA address of those repositories for Ubuntu 16.04?  I haven't upgraded my development workstation to 18.04 yet (will do that in the new year).