Corrections

What we got wrong, and when we fixed it.

When a published brief is corrected or withdrawn, the change is recorded here with its date. The corrected brief carries the same note.

To report an error, open a public issue with the page URL, the disputed wording and the Japanese source passage.