[v3] possible backwards include removal

[Paolo Carlini]

Benjamin Kosnik wrote:

>We have to keep some of them.
>
Honestly, I'm not sure about the exact criterion. But, whatever, I don't
feel really strongly about this issue. However...

> I'd like to remove the rest, because they
>are just cruft, because I think nobody uses them, and party to see if
>anybody cares before we do more dramatic surgery, as you suggest, next
>year.
>  
>
... I still have rather good memory ;) and you are saying this in public!

Paolo.