Kaj_Sotala comments on Appendix: How to run a successful Hamming circle