People needs to remember that it is not like porting Xbox games to PC that using GDK is fast due being the sales tools APIs.Unless you are the dev that for 20 years made just for xbox.
PS5 tools and APIs are completely different from Xbox… you had to replace all APIs calls in your code and sometime the exactly API function doesn’t exists and you have to find alternatives with more API functions.
Nixxes with their expertise in ports needs several months to port from PS to PC and with some games they even need the help of the original devs (Spider-Man case for example where Insomniac had to help them port).