#1049: docs: add redtrib3 as a contributor for code

Original message was deleted