Also, what about the /*<private>*/ idea, would it be feasible without too much pain?

I did it naively in 7734718.

—
Reply to this email directly or view it on GitHub.