Fixing Package Fragmentation

[nilshg]

@Tamas_Papp

JuliaPro had a registry, but I cannot find it at the moment — was it abandonned?

I’ve not seen an official announcement but was told this on Slack, and Sebastian confirmed as much some time ago:

Is JuliaPro discontinued?

Yes. There won’t be any new versions of JuliaPro.