Suggestions on renaming headers (was Re: [PATCH] Update backward/algo.h)

[Paolo Carlini]

Benjamin Kosnik wrote:

> > That is OK with me too.
>
> Ok. This will go in after Paolo's most recent header work.

Done!

Cheers,
Paolo.