additional editorial comment: "Level" vs "level"
I've just noticed that the document is not consistent when writing
"Level 1", "Level 2", etc. "Level" is generally capitalized, but not
always. See: page viii lines 26-29 and 44; page 4 line 14; page 11
lines 1-2; page 12 line 20; page 13 lines 17 and 24.
Conversely, I don't think that "Level" in "the conceptual Level bit
string encodings" should be capitalized at page 9 line 2 (§3.2.49).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)