Section explaining the use of labels & milestones

(draft, comments welcomed; for instance, I'm not too sure about the correctness of the definition I used for "spec details")