I found the website you linked to be easy to digest. Impressed with their work, from the perspective of someone who uses Linux but doesn’t know too much about this stuff (other than patch good). I like how they gave credit to both the human and AI.