On Wednesday 30 January 2002 12:58, Lubos Lunak wrote:
>  Perhaps it might be worth adding the huge fat note in _both_ copies of the
> header file, especially in the one which is more likely to change.

Will do.