The example here has repos under `rpm`, but this is the platform docs. I think there's a repos at the root, in which case the docs are appropriate in this project, but we should probably change the example to reflect that. If it's up to the type provider to add this in the type sections, we should move it out of the platform docs.