doc: deprecated aliases are deprecated but they still should be shown.