Hey entropicdrift good question. Those kinds of lanterns are expensive and complicated electronics with a definitive life expectancy. The lantern you linked is over 20$ for a single unit.
Most of those kinds of lanterns use a non replaceable rechargeable lithium battery built inside it that will only last about 500 charge cycles give or take before degrading. That is, if you are lucky and one of the other cheap mass produced quickly assembled electrical components doesn’t fry first.
In the long term I deem its more cost efficient to take a page from the home lighting industry. Simply create a light fixture with easily and cheaply replaceable bulbs. A pack of 4 12v-24v bulbs cost less than that lantern and I like the warm lighting.
Its also a simple matter to convert any lamp fixture into one that can interface with my power system. Cut off the AC plug and replace it with a male cigarette plug. The trick is knowing thst you have to buy the right kinds of bulbs.
So when the 12v led bulbs do eventually burn out its a cheap single 5$ bulb that and a minute to replace it. I would rather put a broken bulb than yet another expensive lantern in the landfill.
Apotential benefit if I choose to power it with usbc-pd instead is variable dimmable lighting based on voltage level if the bulb is 12-24v.
If your device happens to be 18-20v you can get a usbc-pd laptop connector with a dc barrel jack output. It has the USBC-PD chip built into it to tell the charger to output 20v and you can probably hunt down barrel adapter bits. Your regular 65-100w rated usbc cord plugs in like anything else.
The other voltages are tough theres not really a consumer market for 15v or 9v specific usbcPD to barrel things.