Assuming you don't mind, it will contain your recommended X1 derivation with acknowledgements.
Cool, go for it. I don't care about acknowledgment in this particular case since the derivation is (relatively speaking) simple--no insight (the hard part of doing math) required, just some fiddling with algebra. Thank you though for your thoroughness.
Cheers.
The time you enjoy wasting is not wasted time. Bertrand Russell