I think, we should be safe to mention him in the contributors file?