Document the redeclaration and overriding restrictions on the
availability attribute.