Thanks for the info - I acquired some chemicals where the developer was shot.
I've had some success with Dektol 1:1 and ~1/4 tsp hypo/liter. The print is a bit duller than I'd expect, but that may be due to me trying a new process :-) Difficult for me to tell what is my fault, the fault of older paper and what is the fault of the developer mix. As noted above, dektol without the hypo introduces a yellow shift I found hard to correct for. I'll be doing more extensive testing in the upcoming months.