Then replace the comment with `// explicitly undocumented ... will be deprecated ...`, that is if you two agree on this step.