Hi,
I have been trying to replicate some of your results and I might have found an issue in Chapter 9.
My results suggest a much tighter posterior after observing the four data points x=[15, 16, 18, 21] than what is suggested in your Figures 9.2 and 9.5, as well as in the reported posterior credible intervals.
In fact, I get something closer to your posterior plots if I only include the last datapoint x=[21].
You can see my results in this colab notebook