Charlie Jensen 1939-2023. RIP.