co-maintainer of GNU patch and contributor to the Linux kernel