Title: A history of circle squaring