Prolog packs can again be downloaded automaticallyu.