TCXO output load, and shaping circuit
To avoid non 50:50 duty cycles on the output of the (excellent) comparator you have picked, I would directly feed one input from the TXCO and use a 10 k resistor feeding the other input with that "other" input being connected to a 10 nF capacitor to ground. Same story as a data slicer: -



This ensures your DC levels are set the same and the tolerance of all those 20 k resistors is not a factor any more.