Capital letter after "Assert:" lint is too strict

[Ms2ger]

For example, it triggers on

           1. Assert: abs(_diffNs_) ≤ 1.728 × 10<sup>22</sup>, so the following steps cannot fail due to overflow in the Number domain.