Definition lists are underused.
People usually prefers to format themselves to fit their preferences than to use the "; :„ syntax, or custom templates (theorem, examples, …)
It’s not without good reasons : it’s kird of unaesy to do multilne definitions, they can’t be easily styled, the imbrication beetween dls and ul and on is tricky once you want to do something elaborated.