We can definitely see things getting better with later BIOS updates. On 1.3.3, when plugging in my USB-C PD 20v charger, I would see a large number of ACPI faults in syslog. After upgrading to 1.4.4, now I get a "dell_wmi: Unknown WMI event: 0x12" message which sounds a lot more sane.
I just wanted to say thanks to the Sputnik team, you guys are doing a great job minus the pointy bits. Now... only if I could update the Thunderbolt 3 firmware without trying to figure out how to boot windows from a USB stick 😉