errata etc

[thosgood]

there are some errata at the end of EGAII for EGAs 0 and I, and it makes sense to obviously change EGAs 0 and I to include these, but i think it's a good idea to make it very clear that we have done so — something like a margin note with the "original mistake" and the where exactly the erratum is given.

before doing so, however, i wanna make sure that we have some idea of what it should be, so we can make sure it's consistent (i think that some of the errata have already been implemented, but not others, for example). any ideas for a custom command? are you happy if i just define \erratum to be some marginpar with the location of the erratum, and then we can edit it afterwards, or do you already have some idea for this?

(can't remember if we've already discussed this or not)

[ryankeleti]

yes this is something that should be added, I've been silently adding errata as I go.

[ryankeleti]

Now as how to do it, maybe need to think about it. We could use footnotes, but a lot of errata are typographical errors and I don't think they warrant a marginpar/footnote. Maybe for more major edits. For example, section 1.8 is completely new in EGA I, and I think I added a note there IIRC.

[thosgood]

ok, i'll add a footnote/margin note command and go through all the errata given at the end of EGA II and either add them or annotate the ones you've already done.

i think for bigger ones (like the whole extra section for EGA I given at the end of EGA II) it's better to just put in a footnote, but the smaller ones should be nicely consistent

[thosgood]

i think that minor misspellings (like inter-section instead of intersection) just just be done silently, but maybe anything else (even writing X instead of X', for example) should be explicit, otherwise it could be confusing for a reader to know who's made a mistake: us, grothendieck, or both

[ryankeleti]

okay, I'll leave it to your discretion whether or not to include something. I'm just worried the document will get too cluttered. We can have a separate annotated edition, something like the margins in Pursuing Stacks.

[thosgood]

putting it in the margin seems to be about as much extra clutter as having the original page numbers, and there really aren't that many errata, so i'm leaning towards doing this. however i end up doing it, i'll make sure to do it in such a way that we can just toggle the extra stuff on/off easily, if we decide against it later :-)

[thosgood]

this is solved by https://github.com/ryankeleti/ega/commit/617489af0a809dd5effc05f7bfb04fc2a564bc0a