Apply a few small fixes to devel-docs

Very great work! Here's some fixes for a few glitches / inconsistencies.
Does this also need to be applied to en/developer-guide.md and en/developer-reference.md?  (I just copied it from devguide.)