Fix markdown in do_not_compare_types_use_isinstance.