For a long while I’ve been looking for a cheap and easy solution for Raspberry Pi battery backup without lots of cost / complexity. This it it. That module is 12V to 5V at 3A, readily available off eBay. That diode is an old 6A4 but anything reasonably sized will do. A recommendation is a Schottky MBR1635 for low voltage drop. The connectors are Wago blocks. The reds and the blacks are each common. The lead with the diode goes to a 13.8V PSU, the second lead goes to a 12V sealed lead acid battery, and the third lead goes to the input of the DC converter module, ie in parallel with the battery. The Pi hangs off the DC converter module’s output. It just works.