During some other repairs, I noticed that the lower radiator hose's split-loom shield wasn't in the right place, and the hose had nearly rubbed through against the PS box.
Later (after enough leaks were fixed for the system to get up to pressure), I found that the oil cooler hoses were leaking, so that section had to be replaced, too.