I mean, the pad connects to the USB-C VBus pin, so I'd just be applying 12V to the charging circuit of the laptop ... and the 20V/15V version. You switch between the two voltages by bridging ...

The device takes your standard USB 2.0 hub circuit, and adds in a MT9700 P-MOSFET load switch for each port. The enable pin on each of these switches is in turn connected to one of the output pins ...

I have a laptop with a USB C charger (HP Spectre X360 ... 5V 3.0A or 9V 3.0A or 10V 5.0A or 12V 5.0A or 15V 5.0A or 20V 4.5A. The Nintendo Switch charger says 5V/1.5A, 15V/2.6A.

These were posted to twitter by mrleetesla: Those two narrow ports with rounded edges just below the rear air conditioning are USB-C ports ... Further, there’s also a 12V “cigarette-lighter ...