Minor additions to the spec

[Simon McVittie]

On Tue, 25 Apr 2017 at 17:32:09 +0200, Tom Gundersen wrote:
> Would it be ok to collect a bunch of patches in one bug
> report (given it is all about clarification and no actual semantic
> changes)?

Yes, that's fine; for issues that are not really a functional bug
(enhancements, feature additions, clarifications) we use a bug report as
the equivalent of a topic branch or pull request.

    S