Raghav Gururajan via Guix-patches via 写道：
> +    (synopsis "Censorship-Resistant Internet Transport 
> Protocol")

Drop all but the first capital.

> +    (description "Dust is an Internet protocol designed to 
> resist a number of
> +attacks currently in active use to censor Internet 
> communication.  While
> +adherence to the theoretical maxims of cryptographic security 
> are observed where

s/are/is/.

Kind regards,

T G-R