diff: drop internal inconsistent use of '...' as context line numbers as_html() did in some cases not check for '...' and would thus emit unnecessary html.