I think I'm about to get a jailbroken PS4. Without discussing sources, it seems that everything I find is in PKG format, not ISO. Is this just how it is for PS4? Maybe disc games are distributed as PKGs because of mandatory installs? Will I be able to play off of an external hard drive or will I need a massive internal?