After the design of annotations in #463 and the implementation in #593, annotations are now here. After a bit more experience with them, I want to declare them a stable language feature for release %"v5.0". This means we have to remove the experimental feature disclaimers at various places of the documentation.