Code

user-manual: add a missing section ID