Re: [C++/doc Patch] PR 55813

[Jason Merrill]

OK.  I suppose we could add a different name as an alias, but it 
probably isn't worth the bother.

Jason