Update webpage files for Borel Kolmogorov post.