AWS Duvet: a bidirectional link between implementation and specification

I thought this was about formal specifications. Anyhow still useful.

Golang has built in syntax for referring to RFC sections though and the syntax here seems incompatible which is a shame.