#90 (Jul 1, 2020, 2:30:50 PM)

1. Complete 2-3 conversion. Some bugs. (commit: a5c6c3d) (details / githubweb)
2. Remove EqualModel. (commit: d6567dd) (details / githubweb)

GitHub pull request #56 of commit d6567dd91ca65a3d1799bd805a3f22bbbbd9de29, no merge conflicts.