Fixes #5629: Display deprecated status of Directive