@stefsull @LeaVerou I *still* don't really understand what <dt> and <dd> are for after a decade of looking at HTML.