A Retrospective on Developing Hybrid System Provers in the KeYmaera Family Book chapter (December 2020)