I was looking at the proposal repo readme and tried to find a mention of whether corrections to mistakes in the texts of older (e.g. implemented) proposals are encouraged or discouraged, but couldn't find one.
I would appreciate if that was explicit, when coming across e.g. paragraphs that reference examples that have been removed, etc.
Did I miss it?