I noticed its listed as a required property in 5.5.1, but it's technically a rel value of a linkedresource.

With pub manifest, the requirements are a subsection of the manifest, so both properties and relations can be covered. We didn't end up listing any required/recommended relationships, but if you move the section, instead of splitting cover out you could just reword the intro paragraph to say "properties and resource relations".