Without (re)compiling it, we’ll have to wait and see how it works with PS5 DE (hint: no dvd). Obvious now that the PS4 can’t do it. This may lead to something bogus, but I’ll keep my good faith about it.