In general I think it's suspect to modify any old NEWS content (except perhaps for a typo fix). It's historical, after all. But as this is something that indeed never belonged there and could be misinterpreted as instructions to apply today, I think it's OK in this case. Thanks, Roland