Duvet maps extracted RFC requirements to implementation and test annotations in the CoQUIC source tree.