@ Handrawn: yes I suppose you could be right.

@Bill and Eric: Actually I thought that "lint" was a German word!