> He works here.  I'll ask him.  I think fair credit in this case would be
> to add a comment before the code in question stating its origin --
> something along the lines of

I've just spoken to David.  He is happy for the code to be used provided 
that he is acknowledged.  So a comment along the lines of the one I 
suggested would be fine.

R.