Patchbox OS on Pi-Top 4?

Hi,
I need an information if anyone got running Patchbox OS from Blokas.io on their Pi-Top 4?
https://blokas.io/patchbox-os/
And if not, can anyone try to flash their micro SD card and try to boot it up?
Thanks!