doc/spec: Specify some more details