Doc: includes: comment deprecated symbols
For easy removal the next time we break backward API compatibility