You are quite right. I thought about mentioning the Cox-Jaynes road to Bayes' theorem in my post, but decided that someone trying to reconstruct Bayes' theorem would be more likely to get to it by muddling through intuitively via conditional probability.