Can you follow the convention used elsewhere for @deprecated?