I tried the Minibook with a Dell USB-C monitor and it didn’t work - both display and power didn’t work
With a Dell USB-C Dock (WD15) the display over USB-C works, so do the Dock’s USB ports, but there’s only 5V getting to the Minibook over the USB-C port, not the 15V it can take from USB-C PD chargers
The same dock will do 20V to other USB-C laptops, with display over USB-C working