Add a few annotations reflecting the current label state.