should `Attributes of List Operator` be an alphanumerically ordered list of `dfn`?

[TallTed]

This came up in a comment on #13. Opening this issue to check WG opinion.

verifiable-issuers-verifiers/index.html

Lines 742 to 759 in bbd9512

	<h2>Attributes of List Operator</h2>
	<ul>
	<li><strong>ListOperatorInformation:</strong> Provides a set of information about the owner of the trusted list.</li>
	<li><strong>TSLVersionIdentifier:</strong> Specifies the version of the TL format.</li>
	<li><strong>TSLSequenceNumber:</strong> Sequence number of the TL, starting at 1, incremented at each release.</li>
	<li><strong>TSLType:</strong> Specifies the type of the trusted list, set to "https://w3c.org/ccg/TSLv1".</li>
	<li><strong>ListOperatorName:</strong> Name of the entity responsible for establishing, publishing, signing, and maintaining the trusted list.</li>
	<li><strong>ListOperatorAddress:</strong> Postal address of the legal entity or mandated organization identified by the list operator name.</li>
	<li><strong>ElectronicAddress:</strong> Email address of the list operator.</li>
	<li><strong>WebSite:</strong> Website URI of the list operator.</li>
	<li><strong>ListName:</strong> Name under which the list operates.</li>
	<li><strong>ListInformationURIs:</strong> Set of URIs for obtaining list-specific information.</li>
	<li><strong>ListTerritory:</strong> Country or territory where the scheme is established, preferably as ISO country codes.</li>
	<li><strong>PolicyOrLegalNotice:</strong> Policy or legal notice concerning the list's status or legal requirements.</li>
	<li><strong>IssuedAt:</strong> UTC date/time when the list was issued.</li>
	<li><strong>NextUpdate:</strong> UTC date/time by which an update of the TL will be available, or null for a closed TL.</li>
	<li><strong>DistributionPoints:</strong> Locations where the current TL is published and updates can be found.</li>
	</ul>

My gut says that these should all be <dfn>, and that the list should be alphanumerically ordered.

Opinions?