I don't know what the standard is elsewhere, but we could just leave them or mark them `@private` to avoid any questions.  Up to you.