I now use a 12-to-5V DC converter to power the RPi 4 from a Pegasus Powerbox (which is attached to the telescope dovetail). No need for a dedicated RPi power supply.
Very convenient, I only have a quite thin 12V power cable made of silicon connected to the gear. Not much that mechanically disturbs the guiding.
Here's a link to the DC converter

Read More...