Lenovo, come on, it's mid-2018. How hard is it to add USB-C charging? Hasn't it been around for like four years? Do we really need more proprietary chargers?
Anecdotal, I know, but 87/30 is a much bigger ratio than 135/100.
I prefer the 30W charger because it is smaller and easier to carry.
I would not pay $2000+ for a laptop that turns off while I am using it. Particularly so for a "workstation" one.
That doesn't mean that people who want to use other 100W USB-C chargers should be denied this convenience...
If Lenovo did it though...
I just had my Dad over with his IBM laptop and it had the most unusual proprietary connector I've every seen. Worst thing is he had brought an IBM charger, just not the right one, it was the old style round-one they had that that worked with everything for years.