Matt Kraai wrote:- > The following patch removes the documentation of K+R-specific > restrictions. OK to commit? I think this useful & interesting info; I see no reason to remove it. I'd rather it were put in a separate section of things we no longer need to worry about. Neil.