AWS Duvet: a bidirectional link between implementation and specification | Dark Hacker News