A good document, but I have reservations about certain points.
those changes should never cause user code to fail to compile
Too extreme imo. Deprecated code can be removed at some point.
At run-time, deprecated API’s report how to change code from the old API to the new API.
It may refer to documentation instead.