retag: index.html title

Update logbook: Reproduction: Probabilistic Bisection Algorithm Provably Achieves Exponential Convergence

initial commit