Documents in the 'developer' directory don't require quite so
rigorous editing, but a few things would improve matters here.