On Thursday, 22 June 2023 at 02:34:46 UTC, Mike Parker wrote: > It appears nothing is done with the keywords, and I don't > recall any discussion about it. Yes, you need to migrate the keywords. Otherwise, it won't be possible to search for wrong-code or rejects-valid bugs.