Version 1.8.0 of rippled was released in late 2021, so any changes prior to that are historical and no longer need badges. Fixes #1978
The changes in this commit were auto-generated by running tool/migrate.sh Following this commit, the Dactyl build no longer works but the Redocly build (mostly) should.