List RFC revisions

[carolynzech]

Addresses @jaisnan's feedback on list RFC--change human output to pretty and fix Kani version typo.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

[jaisnan]

Almost there! Just a few small points left to address

[celinval]

Just a few comments

[jaisnan]

Approving under the assumption that the schemas will be added to documentation sooner rather than later 👍

[carolynzech]

Approving under the assumption that the schemas will be added to documentation sooner rather than later 👍

@jaisnan Yes, I'll make sure that the first release of this has schema documentation.