Fix unmatched <dl> tag in IntegerDigits docstring

Easy fix, but also add a check to spot this happening again in future