I have a Linux workstation and it's a development workstation. Your driver page
(https://www.amd.com/en/support/graphics/amd-radeon-2nd-generation-vega/amd-radeon-2nd-generation-vega/amd-radeon-vii)
is where people go for up-to-date drivers on Windows. It clearly has a Linux
sections as well, so this is very confusing. I still have no idea if I should
be using the pro or normal drivers. I am very appreciative to Alex for
providing a script that gives me choice on Ubuntu 19.04.