Merge pull request #1693 from valentinewallace/2022-09-readme-updates
authorJeffrey Czyz <jkczyz@gmail.com>
Fri, 7 Oct 2022 17:44:52 +0000 (12:44 -0500)
committerGitHub <noreply@github.com>
Fri, 7 Oct 2022 17:44:52 +0000 (12:44 -0500)
Fix outdated README sections


Trivial merge