My apologies. Denis contributed 2 documentation patches in 2019. That said, he is a Coreboot contributor, so it's not like he's a total outsider.