So for anybody stumbling across this in recent times: the newer revisions (starting with SCPH-7700x?) have a standard CR2032 coincell battery holder on the mainboard and not this custom wired battery. In order to get to the battery holder on the mainboard, the console must be disassembled further. See the mainboard guide here on iFixIt on how to do that.