I just discovered a very cool new feature in my HP Dev One. Not only does it charge from the traditoinal wall wart but it also charges via either USB-C ports.
What else is there to say but this rocks.