In the first paragraph of section 3, I'd say MAY rather than SHOULD,
both because it conflicts with the OPTIONAL at the end of the section,
and just because the world has gotten along without this feature for
30 years so its practical necessity remains debatable.
Other than that it seems mostly harmless. Has anyone implemented it yet?
R's,
John