The previous release did not actually work, because my PS4 had already registered my RPi's MAC address in a previous experiment, thus skipping an essential Bluetooth SDP part. Now works with a brand "new" PS4.
This release does not include a new version of the desktop app, which hasn't changed. The RPi image has been updated and should be downloaded automatically when you'll generate a new SD card from the desktop app.