MIME parsing step for discarding code points after " is unclear

[dd8]

In https://mimesniff.spec.whatwg.org/#parsing-a-mime-type the following step might be clearer if it explicitly said the trailing sequence after " was to be discarded. Might also be better if the example contains a ';' since the step mentions ';'

Current:

Collect a sequence of code points that are not U+003B (;) from input, given position.
Example: Given text/html;charset="shift_jis"iso-2022-jp you end up with text/html;charset=shift_jis.

Suggested:

Collect a sequence of code points that are not U+003B (;) from input, given position and discard the result.
Example 1: Given text/html;charset="shift_jis"iso-2022-jp you end up with text/html;charset=shift_jis.
Example 2: Given text/csv;charset="utf-8" discarded ;header=present you end up with text/csv;charset=utf-8;header= present.

[annevk]

I'd support adding the example. I'm not a huge fan of adding semi-redundant normative text.