IntegerDigits doc fix: add missing </dl>
Raise an exception on unmatched <dl> tags in docs

This shows up in mathicsserver, which loads all the documentation.