[catdog]

> the charger is quite bulky

That's easily fixable nowadays for laptops needing up to 100W, you can buy some USB-C adapter and use a modern GaN charger.

[dizhn]

Don't most laptops need a branded power adapter nowadays? I know my Lenovo can just take any pd charger and I use a tiny 65 w one but my friend can't use anything like that on his Dell.