Hi Russ, For completeness, since I was involved in the initial debate, here's my opinion on this bug: I would welcome the removal of "should name the original authors". I have currently no strong opinion on the other side-aspects I've read in the comments so far. Regards, Bart Martens