Initial report is here https://github.com/HowProgrammingWorks/Book/pull/101#pullrequestreview-945452384
Initial report is here #101 (review)