ARI: Remove unnecessary \briefs from automatically generated documentation