Ah well. 19mV off my 2.5V target. Not too bad for those bodged resistors and well within tolerance for the circuit it’s supposed to feed.