| Rev | When | Who | Comment | Diff | A B |
|---|---|---|---|---|---|
| 4 | June 30, 2024 | AgentSapphire | Merge works | Changes | |
| 3 | June 28, 2024 | AgentSapphire | merge authors | Changes vs current | |
| 2 | December 20, 2022 | Tom Morris | merge authors | Changes vs current | |
| 1 | December 1, 2022 | ImportBot | import new book | Changes vs current |