[sr-dev] git:master: exec: Minor doc updates, adding section ID's