#6522: add a "decorator" directive to explicitly document decorators, and use it in a few places.