@Gregor: I don’t think a definition list adds any kind of meaning here – we’re not talking about a list, much less one that features definitions. Not sure where you got that from, unless I’m missing something…